tree 842c66e1b1c4ff4e4e29b5f26ea2ce8c6decd4fb
parent aed5176a155ad82d41fce5d539ec8f9bc60e7cbc
parent 5bbfb927b945bc905a9cec7e047a87c99edd4c12
author Marc Kupietz <kupietz@ids-mannheim.de> 1627141053 +0200
committer Gerrit Code Review <gerrit2@korap.ids-mannheim.de> 1627141053 +0200

Merge "Make Ubuntu installation even more fail safe"