Merge topic 'doc-dev-topic-rename'
5fe36306 Help/dev: Document `Topic-rename:` description trailer Acked-by:Kitware Robot <kwrobot@kitware.com> Reviewed-by:
Ben Boeckel <ben.boeckel@kitware.com> Merge-request: !602
Please register or sign in to comment