diff --git a/hermit/usr/libomp b/hermit/usr/libomp index 28ead6d04..a67cdd442 160000 --- a/hermit/usr/libomp +++ b/hermit/usr/libomp @@ -1 +1 @@ -Subproject commit 28ead6d04c60b9a54b20013881b233b262f7478d +Subproject commit a67cdd4420737374590a403ce3d5882ae6311524