diff Jenkinsfile @ 7424:0ac1aaccd19c

controllers: align pullrequests.delete_comment with changeset.delete_comment This commit purely serves to highlight the differences. The subsequent commit will remove the duplication.
author Thomas De Schampheleire <thomas.de_schampheleire@nokia.com>
date Fri, 19 Oct 2018 22:02:55 +0200
parents 58713c2ebfff
children d9e37f7fd35b
line wrap: on
line diff