tree b579d096813fb831a0156c090f03035540b681e4
parent 6e745db40090bd62ae3d330e49510aa5764ee1fc
author Gilles Sadowski <gilleseran@gmail.com> 1632870015 +0200
committer Gilles Sadowski <gilleseran@gmail.com> 1634202024 +0200

Spurious "throws" clauses.