collection_size_type copy.hpp: The first header filename w/ a space in the name?

[zaufi]

Hi,

I've thought the filenames w/ spaces (especially headers) are prohibited in Boost libraries... Anything has changed?

BTW, I don't see any usage of this file in the code...

[psigen]

@zaufi it looks like this was simply an accidentally (auto-renamed) copy of the other file that was accidentally commited:

07c99b8#diff-c7259865ae65dd94c715482e2abf4fbb3ee9f77e63eb1b6677eada21bd239b08

It's been removed from the repo, so I think this is resolved, we just need to wait for the next release cycle.

[vervaekejonathan]

This file is still present in the latest (1.82.0) version downloaded here: https://boostorg.jfrog.io/artifactory/main/release/1.82.0/source/boost_1_82_0.tar.gz

[sfc-gh-ebrossard]

The file has been deleted since 1.84, so this can be closed. https://github.com/boostorg/serialization/tree/boost-1.84.0/include/boost/serialization