[sr-dev] git:5.7:0a91d8a6: Makefile.defs: version set to 5.7.2