On Thu, Aug 21, 2014 at 07:05:06PM +0200, Michal Židek wrote:
Hi,
this is not very important patch, but suppresses
behaviour that is bothering some of us for quite
some time.
See patch description for details.
Michal
This is not a solution, though, is it? Do we know why does the ordering
change sometimes?