Skip to content

Use throwIO instead of throw

Álvaro López García requested to merge github/fork/ehird/master into master

Created by: ehird

When in IO, throwIO should be used, as per the documentation.

Merge request reports