diff --git a/third_party/cereal b/third_party/cereal index 51cbda5f..a88e1c7d 160000 --- a/third_party/cereal +++ b/third_party/cereal @@ -1 +1 @@ -Subproject commit 51cbda5f30e56c801c07fe3d3aba5d7fb9e6cca4 +Subproject commit a88e1c7dfd2f1f1323694932df8c314af8f1777e