allocations: document that they can be read-only#159503
Open
RalfJung wants to merge 2 commits into
Open
background
wait
wait-all
cancel
parallel
Loading