ninja: no work to do.
Oils 0.37.0		https://oils.pub/

git commit = ed5a7d8d7703dfb2a3c46b47744942d3e5ab50c9
hi