[sr-dev] git:master:0aa43efe: Makefile.defs: version set to 5.2.0-dev3