diff --git a/libmarias3 b/libmarias3 index f700c95d1..6d8be7ec6 160000 --- a/libmarias3 +++ b/libmarias3 @@ -1 +1 @@ -Subproject commit f700c95d1fcd3e71e1dade169216ef4a027c3e33 +Subproject commit 6d8be7ec6d8d1892c270b2030b789213316f534e