Update: this strangeness cannot be reproduced with a couple of reboots, so I'm thinking it was just bad luck that it happened while testing your patches. Thanks Yinghai, DW -- [ message continues ]
can you check tip/master now? Ingo fixed it arlready... YH -- [ message continues ]