Add filename to the BadFile exception (#858)
The BadFile exception which is thrown when failing to open a file now contains the filename.
Showing
Please
register
or
sign in
to comment
The BadFile exception which is thrown when failing to open a file now contains the filename.