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