[sr-dev] git:master:9de2d3e9: Makefile.defs: version set to 5.8.0-dev1