13 Jul
2023
13 Jul
'23
1:46 p.m.
On Jul 12, 2023, at 2:09 PM, Andrey Semashev via Boost
On 7/6/23 16:58, Marshall Clow via Boost wrote:
Master is closed for all changes.
See the release schedule at: https://www.boost.org/development/index.html https://www.boost.org/development/index.html
I would like to merge the following commit to Boost.Filesystem master:
https://github.com/boostorg/filesystem/commit/e65ddb6ef21697970f7d1438f7a46c...
This should fix querying file times on Windows, if the file is opened by another process without FILE_SHARE_READ permission.
Go ahead. — Marshall