jjhursey
commented
9 months ago If @abouteiller also approves and agrees, I think this can be merged in without formal reading per Ken's note above. This seems to be purely editorial.
Closed raffenet closed 8 months ago
jjhursey
commented
9 months ago If @abouteiller also approves and agrees, I think this can be merged in without formal reading per Ken's note above. This seems to be purely editorial.
abouteiller
commented
8 months ago does it need back ported to v4.x?
As discussed in the September 2023 ASC monthly meeting, this is likely an editorial change and could be merged outside of the reading/voting process.