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

git commit = a0923fa1f3d7843485e371852315ef394d1daf21
hi