K 10
svn:author
V 8
tcberner
K 8
svn:date
V 27
2017-08-08T17:36:35.569974Z
K 7
svn:log
V 121
Fix devel/Makefile after r447548

Unfortunately I mistyped the entries...

Pointy hat to:	tcberner

Reported by:	antoine

END