Turn issue bot off

since it is not working correctly at the moment.
Bot closes wrongly. See #8334
This commit is contained in:
Jason2866 2020-05-04 10:07:47 +02:00 committed by GitHub
parent 066f674c19
commit b16c9e93e4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 0 deletions