20 May
2019
20 May
'19
10:57 a.m.
On 5/20/19 10:26 AM, Dmitry Timoshkov wrote:
Hello,
Had this patch slipped throuhg the cracks somehow?
Yes, sorry about that, the patch looks fine.
Jacek