The source project of this merge request has been removed.
Update postBuild
Set specific version number rwth-nb not only in Dockerfile but also in postBuild, such that mybinder will now build again :)
Set specific version number rwth-nb not only in Dockerfile but also in postBuild, such that mybinder will now build again :)