diff --git a/extern/nod b/extern/nod index 258076c29..b513a7f4e 160000 --- a/extern/nod +++ b/extern/nod @@ -1 +1 @@ -Subproject commit 258076c2986f2d77d887a8405f1194405bb4b99d +Subproject commit b513a7f4e02d1b2a0c4563af73ba261d6760ab0e