[sr-dev] git:master: Makefile.defs: version set to 4.2.0-dev3