diff --git a/src/external/cocotron b/src/external/cocotron index 2bad04d32..af452c781 160000 --- a/src/external/cocotron +++ b/src/external/cocotron @@ -1 +1 @@ -Subproject commit 2bad04d3224dede8a507ef6fc2df9cb79c9fb911 +Subproject commit af452c781e2342fa589b6c627ea5f02b6b7f0b84