tree 292e2769ce5a2bcae2b950d660c6dbca1510132f
parent 1119bdbdefd0f6decb2211fd00cd3480b7e9dc13
author Gilles Sadowski <gilleseran@gmail.com> 1660315950 +0200
committer Gilles Sadowski <gilleseran@gmail.com> 1660318495 +0200

MATH-1589: Remove spurious "throws" clause.