mirror of
https://github.com/jeremyd/ergo.git
synced 2026-07-09 18:08:12 -07:00
676045422b
These should have been added in 66995cdfdf.
Forgetting this seems to be an ongoing problem.