On Sun, Aug 9, 2020 at 9:57 AM Fotis Panagiotopoulos <f.j.pa...@gmail.com>
wrote:

> I just tried the following patch, and the code runs normally.
> Shall I make a PR?


Thank you for finding this. Yes, I think you should make a PR.

Nathan

Reply via email to