Maxim Cournoyer Fri, 30 Oct 2020 21:50:38 -0700
Closing, as this was fixed by Ludovic in commit 634ce81e2a8. Thank you!
Maxim
