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

git commit = d6ceb351bbfcbe7f5dd7990d47f81f1e0c8e950a
hi