On 21-09-2022 12:42, Maxime Devos wrote:
> There recent-ish was a bug report about exception handling (on IRC), it 
> would be a unfortunate if whatever the fix for that turned out to be, 
> causes the reporting to be wrong again -- a few test cases for this 
> patch could prevent that.

Correction: turned -> turns, IIUC it hasn't been fixed yet.

Greetings,
Maxime.