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)
commitc72b94b1bfc8aff801cc3c30d3a13a01a9a40a97
tree2579030ebf887f00f4095387e6725df33ff598ee
parentd3880723dbe23df0f130c33a6091429ced7680ef
parent3e399e9286a5f6492131d198526e6130d8c2739a
Merge pull request #13250 from jefferyto/python-attrs-20.1.0

python-attrs: Update to 20.1.0