Thibaut Girka ac64cdae72 Perform case-insensitive comparison of non-International domain names		2019-08-04 22:25:56 +02:00
..
glitch	Perform case-insensitive comparison of non-International domain names	2019-08-04 22:25:56 +02:00
vanilla	Fix settings/flavours	2019-03-16 16:21:20 +01:00