diff --git a/extern/selmaprotbas b/extern/selmaprotbas index 5bdcbd2b..1ef17e99 160000 --- a/extern/selmaprotbas +++ b/extern/selmaprotbas @@ -1 +1 @@ -Subproject commit 5bdcbd2b7efaa282b29d5e62760ebba0c4446f67 +Subproject commit 1ef17e99e8f69b85d68db15a99483f63715a8499