On Thu, Nov 12, 2015 at 12:52:15PM +0100, Pavel Březina wrote: > Simple patch is attached. ACK Thank you very much, this is indeed annoying and it's my fault -- I added this patch when I was writing the GC support and simply forgot to remove it.