tree 552a42e363190317ca5e58ec9591727bfc869812
parent fe29577cdbcf8d321a0595b3ef7809c8a3ce0166
author Gilles Sadowski <gilleseran@gmail.com> 1596142207 +0200
committer Gilles Sadowski <gilleseran@gmail.com> 1596142207 +0200

Remove spurious "throws" clauses, and other nits.