K 10
svn:author
V 4
gahr
K 8
svn:date
V 27
2016-11-08T09:13:38.063370Z
K 7
svn:log
V 195
devel/ninja: update to 1.7.2

Release notes:
https://groups.google.com/forum/#!topic/ninja-build/8xAhNiDaczw/discussion

PR:		213674 (patches proposed there were incorporated)
Submitted by:	gahr

END