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~
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~