Dan Albert dac3533654 Tone down the out-of-parking message.
There's nothing the user can do about this and it's somewhat expected,
so downgrade to a warning so users don't think it's a bug.

If we ever get around to doing more cautious parking allocation this
should become a generation-halting error, but until then we expect it to
happen somewhat often.
2021-10-30 13:12:11 -07:00
..
2021-10-23 20:18:40 -07:00
2021-10-23 20:18:40 -07:00
2021-10-23 20:18:40 -07:00