Remove deprecated patch (#3097)

This commit is contained in:
Igor Pečovnik 2021-08-16 20:32:22 +02:00 committed by GitHub
parent 147b8b54e6
commit 6d82498bec
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23