2016-10-15 19:54 GMT+02:00 Toby Negrin <tnegrin(a)wikimedia.org>rg>:
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.
--
Bináris