[sr-dev] git:5.8:1fa3ba8e: Makefile.defs: version set to 5.8.0