On 2/28/19 9:41 AM, Thomas Huth wrote:
> Ok ... shall I resend the PULL request or could you maybe send a
> follow-up patch later?

The pr has been merged, so I'll do it later.


r~

Reply via email to