7 Dec
2022
7 Dec
'22
3:32 p.m.
On Dec 6, 2022, at 9:54 PM, Klemens Morgenstern via Boost
I would like to ask for permission to merge a small PR with typo & warning fixes. Nothing substantial, just an unused variable warning, plus the obligatory version bump.
Go ahead. — Marshall