[sr-dev] git:master:8c5e9758: Makefile.defs: version set to 5.8.0-dev3