Closed brunom closed 2 years ago
Sorry for the late reply. Seems like a good improvement.
@jofaber when will this change be part of a new Boost release? There have been several releases since this was merged but it's not part of any of them. Same for PR #38, btw.
29