Close
Close issue
Close pull request
Following [a discord discussion](1085560443), the close button in the issue comment box is more descriptive. # Before For both issue and pull request  # After ## Issue  ## Pull request  --------- Signed-off-by: Yarden Shoham <hrsi88@gmail.com> Co-authored-by: delvh <dev.lh@web.de>
1085560443