[ros-diffs] [gvg] 17833: SVN maintenance: makefile was replaced by GNUmakefile