Skip to content

Update for new binder URL

Christian Witzler requested to merge binder_fix into master

The base URL of binder was changed

Merge request reports