Subject: bug#190: half-sorted

From: KatolaZ <[email-masked]>
Date: Thu, 19 Apr 2018 12:01:47 +0100

Please check the latest mini-iso, where the problem should have been
fixed, except for a special corner case that we are
investigating. More reports would be useful.