On Tue, Feb 14, 2023 at 9:24 PM Tom Tromey <tom@tromey.com> wrote:

> This changes value::m_modifiable to be a bool and updates the various
> uses.
>
>
I think it's good to go in.

Alexandra