[sr-dev] git:4.2:83211839: Makefile.defs: version set to 4.2.5