diff options
author | Martijn Kaijser <martijn@xbmc.org> | 2016-10-01 12:30:48 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-10-01 12:30:48 +0200 |
commit | a3ff97987fdf28ac09661f4f01a4c504b6d93e72 (patch) | |
tree | d5df0d4b0a55b4d0d14c1e8ca408028b68438c21 /doxygen_resources | |
parent | 14107c76c622fd97ffccf37459771497db5410da (diff) |
[mention-bot] delay commenting on PRs in casethey get merged directly
Diffstat (limited to 'doxygen_resources')
0 files changed, 0 insertions, 0 deletions