12 Oct
2025
12 Oct
'25
7:10 p.m.
I created this ticket 9 days before Tom opened this thread: https://github.com/boostorg/boost/issues/1075 btw, 3 years seems a lot :(