diff options
author | Dirk Hohndel <dirk@hohndel.org> | 2017-11-21 08:07:37 -0800 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2017-11-21 08:07:37 -0800 |
commit | 32a7cde180a342aef13b1ffcbe53a088ab4dc51c (patch) | |
tree | 8edf032494b3c193f21b9715a8f767707413af0f /ReleaseNotes | |
parent | a15682ee76a1b38f2ca0885911a6a4a5880152ec (diff) | |
download | subsurface-32a7cde180a342aef13b1ffcbe53a088ab4dc51c.tar.gz |
Disable Mention-Bot
This is too unreliable and too buggy to work be useful.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'ReleaseNotes')
0 files changed, 0 insertions, 0 deletions