Aug. 18, 2015
9:26 p.m.
Hi all, Just a quick note to say that I'll be offline for pretty much the whole period 25 Aug - 9 Oct. Regarding a possible 0.16.1 release: I don't see a reason to cut a release right now, but if a quick release is required for whatever reason then please go ahead without me. Cheers, Ralf