Simon Jakobi b75962a405 Use a more conventional spelling for "etags", mostly just use "tags" (#1432) ... The previous "ETags" spelling was likely to cause confusion with HTTP ETags: https://en.wikipedia.org/wiki/HTTP_ETag		2019-10-19 01:59:29 +00:00
..
Main.hs	Use a more conventional spelling for "etags", mostly just use "tags" (#1432)	2019-10-19 01:59:29 +00:00