tree 3cedb9ec6929512e7aa95d46fd3cfa983ed9a0b3
parent 640b1d53adfeb7271480b4e43ec5bb2fd06e54b0
author Jochen Wiedmann <jochen.wiedmann@gmail.com> 1588623208 +0200
committer Jochen Wiedmann <jochen.wiedmann@gmail.com> 1588623208 +0200

Documenting a possible incompatibility in a try...catch statement.