Merge pull request #13250 from jefferyto/python-attrs-20.1.0
authorHannu Nyman <hannu.nyman@iki.fi>
Sun, 30 Aug 2020 19:41:58 +0000 (22:41 +0300)
committerGitHub <noreply@github.com>
Sun, 30 Aug 2020 19:41:58 +0000 (22:41 +0300)
python-attrs: Update to 20.1.0


Trivial merge