[sr-dev] git:master:3ca5b6d5: Makefile.defs: version set to 5.1.0-pre1