>>>>> "Bernd" == Bernd Kuhls <bernd.kuhls at t-online.de> writes: > Changelog: > https://groups.google.com/forum/#!topic/ninja-build/Xt3NdAA0KQU/discussion > Signed-off-by: Bernd Kuhls <bernd.kuhls at t-online.de> Committed, thanks. -- Bye, Peter Korsgaard