[sr-dev] git:master:707d7cdc: Makefile.defs: version set to 5.2.0-pre3