From: Christian Mazakas (christian.mazakas_at_[hidden]) Date: 2020-01-29 04:33:58
> (But that's a terrible name for a container that cannot change size.)
I'm down to rename it whatever people wanna call it.
- Chris