Alan wrote (25 Nov 2013 12:05:53 GMT) :
> I would be ready to merge the branch as of 4492d8b, but as its head
> has changed, I have to rebuild and redo some tests, which I find quite
> annoying...
Well, the only change was merging devel into it to make your review
easier, which gives the same result as you would get if you did merge
it into devel (which you would be ready to do without further testing)
and pushed, so I don't get what's the problem.
Cheers,
--
intrigeri
| GnuPG key @ https://gaffer.ptitcanardnoir.org/intrigeri/intrigeri.asc
| OTR fingerprint @ https://gaffer.ptitcanardnoir.org/intrigeri/otr.asc
