[tor-commits] [torspec/master] version-spec: allow EXTRA_INFO to appear multiple times.