On 10/22/20 2:14 PM, Martin Liška wrote:
On 10/22/20 1:42 PM, Martin Jambor wrote:...is that I think this should be internal_error. I am not sure what difference it makes in practice, if any, though.You are right, using internal_error is a better approach. Martin
Is also the rest of the patch correct? Thanks, Martin
