[sr-dev] git:5.8:7c2db662: Makefile.defs: version set to 5.8.5