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