diff --git a/extern/ion-definitions b/extern/ion-definitions index 1a4dd692f..080f01695 160000 --- a/extern/ion-definitions +++ b/extern/ion-definitions @@ -1 +1 @@ -Subproject commit 1a4dd692f0918b670e592943f09600089d5cf74c +Subproject commit 080f016958d9b30ffc786b77e8d1134365703ee9