diff --git a/third_party/ibex b/third_party/ibex index 87dfd07f9..8f4c75c5e 160000 --- a/third_party/ibex +++ b/third_party/ibex @@ -1 +1 @@ -Subproject commit 87dfd07f98749e8c0c82b3ffd2783758699cec68 +Subproject commit 8f4c75c5e43e61b994248307c814e01860303056