Closed waldyrious closed 5 years ago
This can be closed now.
Thanks for the heads-up, @erichocean. For future reference, this was fixed in commit 0d9dae3d7.
This can be closed now.