Cannot open file with "#" in the filename in version 7.4.1

It looks like a bug, it’s reproducible on mybinder.org

You could open a bug report?

2 Likes