diff --git a/extern/nod b/extern/nod index 3eccde013..a525f6077 160000 --- a/extern/nod +++ b/extern/nod @@ -1 +1 @@ -Subproject commit 3eccde013d11409383e5608f938a94f279204f96 +Subproject commit a525f607752b87d719c142ef88589e1e5bbfa9b5