[sr-dev] git:4.2:cf4ade36: Makefile.defs: version set to 4.2.3