[cmake-developers] Ninja: using dependency database

[David Cole]

> Therefore ninja master is needed, please update your build
> server.

When a particular ninja 'master' is required, it would be great if you 
could recommend a given snapshot by git commit rather than just saying 
'master'. Especially for those of us submitting CMake dashboards using 
ninja, it would be very helpful to use a consistent ninja, preferably 
even a tag from their git repo once one becomes available that has the 
required features in it.

For now, would you recommend a given commit? I see this one on github 
right now: 
https://github.com/martine/ninja/commit/a3c823c3da70bd46d69341f13184cdae4c77645d


Thanks,
David