Merge branch 'master' into custom-highlight-color-tabs

This commit is contained in:
pajlada 2020-08-09 06:00:09 -04:00 committed by GitHub
commit 5b2341aaa0
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,3 +1,7 @@
Pull request checklist:
- [ ] `CHANGELOG.md` was updated, if applicable
# Description
<!-- If applicable, please include a summary of what you've changed and what issue is fixed. In the case of a bug fix, please include steps to reproduce the bug so the pull request can be tested -->