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