Shiro Kawai <xxxxxx@gmail.com> schrieb am Do., 13. Juli 2017 um 11:44 Uhr:
Small editorial fix:
The comparator? entry is missing 'obj' argument.

Fixed locally!