Skip to content
Commit 90778e56 authored by Lukas Schreiner's avatar Lukas Schreiner
Browse files

Fixing docker: no patch required anymore

parent 9aee89ee