On Sun, Jul 01, 2018 at 10:03:50AM +1000, teor wrote:
When an option only takes an IP address, it does not make a difference. (As long as the underlying code uses tor_addr_parse().)
BTW there's currently a bug relating to this: if an address starts with '[', tor_addr_parse strips the final byte whether or not it is ']'. https://bugs.torproject.org/23082