Replies: 1 comment 2 replies
-
Good catch! I think this is a bug. The parameter should actually be used. I encountered this yesterday while working on #2297. As there are still problems on that PR, I will create a PR just for this issue. |
Beta Was this translation helpful? Give feedback.
2 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Perhaps a
(void)allow_exceptions;
would fix this.Beta Was this translation helpful? Give feedback.
All reactions