> On 18 Nov 2015, at 16:36, Neels Hofmeyr <[email protected]> wrote:
> 
> I'll actually just merge this myself.

yes, go ahead and push this one :)

Reply via email to