mirror of
https://github.com/boostorg/website.git
synced 2026-02-23 16:22:07 +00:00
470559acb6ed6d3fb028b2b16a4993ad0e86eafe
Because they only need to be squashed for the website page, and that uses the serialized list. This means that arrays from the metadata will now be properly preserved. This is a bit awkward as the serialized list is now different from the xml file. It might be better to squash names after loading the serialized file instead, althought that would be a bit less efficient (premature optimization?).
Description
Mirrored via gitea-mirror
Languages
HTML
93%
PHP
5.6%
CSS
1.3%