12-07-2024, 05:24 PM
I am sure I ran into this bug myself and then @RhoSigma patched it. What I do not remember is when.
If you are using v3.14.1 and are seeing the issue then I am sure the fix will be in the next release.
If you are using v3.14.1 and are seeing the issue then I am sure the fix will be in the next release.