Re: Mapping-comparator / hashmap-comparator considered annoying Shiro Kawai 20 May 2018 10:59 UTC