On 01/21/2018 05:02 PM, Jose Blanquicet wrote:
On Wed, Jan 17, 2018 at 9:03 AM, Daniel Wagner <wagi(a)monom.org> wrote:
> Any objection to Robert's v2? Apart of the comment thingy it looks ready to
> be merged.
No, looks fine to me too.
Thanks for reviewing. Patches applied.