tree 44b93dedb95922458d59218f5a714961bfd2f263
parent c09ec7d2d48e8a04153367c53826e2bf97947b85
author tripley <34867417+gittripley@users.noreply.github.com> 1574392325 -0800
committer Tianqi Chen <tqchen@users.noreply.github.com> 1574392325 -0800

update_document_after_repository_renamed (#4398)