saibotk 39489e5726 Update hermit submodule & use full docker image name		2020-06-29 01:03:51 +02:00
..
hermit@2dc35c5c6a	Update hermit submodule & use full docker image name	2020-06-29 01:03:51 +02:00