CHANGES: link to the PR for the git-cola-sequence-editor correction