From: Angelo Borsotti <angelo.borsotti@gmail.com>
Date: Tue, 16 Oct 2012 06:35:53 GMT
Subject: Re: push race
Message-ID: <CAB9Jk9A72EpMTcdVgXXWZJz-QjsAWyo1Ds5kmDqim-RtuK8b-g@mail.gmail.com>
In-Reply-To: <20121015185608.GC31658@sigill.intra.peff.net>

Hi Jeff,

it would be worth to put your description as comments in the code for future
reference.

Thanks
-Angelo