Update rwth-nb version in Dockerfile (!1) · Merge requests · IENT / PTI · GitLab

The source project of this merge request has been removed.

Christian Rohlfing requested to merge (removed):update-dockerfile-rwth-nb into master Sep 24, 2020