2016-10-15 19:54 GMT+02:00 Toby Negrin tnegrin@wikimedia.org:
Please file a ticket! It's good to have a record, especially for new-ish things like IPV6 display.
Done, https://phabricator.wikimedia.org/T148296. I am not sure if the tagging was correct.