[sr-dev] git:master:e1f4afd4: mangler remove svn id, remove history