mirror of
https://github.com/boostorg/website.git
synced 2026-02-13 13:02:10 +00:00
This will trigger a rebuild of the 1.63.0 release notes, but that should be tolerable. Without this change, different versions of php will encode the DateTime differently in json, resulting in unnecessary rebuilds.