dominik-patch-1 #13

Merged
dominik merged 2 commits from dominik-patch-1 into devel 2021-07-26 20:29:10 +00:00

2 Commits

Author SHA1 Message Date
0e60c1646c do not chmod 2021-07-26 20:28:49 +00:00
a07d28cd95 Merge pull request 'sleep 5' (#12) from devel into master
Reviewed-on: #12
2021-07-08 22:02:27 +00:00