Ludovic Courtès Wed, 15 Oct 2014 12:35:28 -0700
Given that the concerns I raised were already addressed, of course feel free to push these two patches!
Ludo’.