Date: Tue, 30 May 2023 18:20:52 +0100
On Tue, 30 May 2023 at 18:19, Peter Brett <pbrett_at_[hidden]> wrote:
> Hi Tom,
>
>
>
> I saw that Jon bumped this on the issue tracker. I’m loathe to spend much
> time on this; char_traits is just completely broken.
>
I don't particularly are if SG16 looks at this any time soon, I just
realised that we have an open LWG issue in this space without a
corresponding github tracker making it somebody else's problem!
> Hi Tom,
>
>
>
> I saw that Jon bumped this on the issue tracker. I’m loathe to spend much
> time on this; char_traits is just completely broken.
>
I don't particularly are if SG16 looks at this any time soon, I just
realised that we have an open LWG issue in this space without a
corresponding github tracker making it somebody else's problem!
Received on 2023-05-30 17:21:06