diff --git a/src/external/cocotron b/src/external/cocotron index 1a430280c..00fd3b974 160000 --- a/src/external/cocotron +++ b/src/external/cocotron @@ -1 +1 @@ -Subproject commit 1a430280c118c75b5256195aef8579cfb350af79 +Subproject commit 00fd3b97418c8cf95d612311c2fde5d92e086e27