diff setup.cfg @ 7599:353c5dcf9aa8

pull-request: make pull request title point to the pull request, but explain that it is a PR comment and let "comment" link to the comment
author Mads Kiilerich <mads@kiilerich.com>
date Fri, 22 Mar 2019 02:21:53 +0100
parents d88077fae3d6
children 0a2d85671b59
line wrap: on
line diff