On Fri, 22 Jan 2016 21:44:46 +0100, Pedro Alves wrote:
> Looks like you forgot to amend before pushing though -- the version
> checked in still had "Thread 1".

That was a typo/thinko, sorry.


Jan