diff --git a/src/external/cocotron b/src/external/cocotron index 632cd91a2..71aa7e026 160000 --- a/src/external/cocotron +++ b/src/external/cocotron @@ -1 +1 @@ -Subproject commit 632cd91a273297fdc89c8ced0d4de20056bdc91a +Subproject commit 71aa7e0264d14af95e8fbfc75389bf41a6810e27