chiark / gitweb /
Fix crash bug in ship-aid KeyBasedSorter