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