]> granicus.if.org Git - python/commitdiff
Null merge of typing.rst change
authorGuido van Rossum <guido@dropbox.com>
Wed, 10 Feb 2016 17:49:36 +0000 (09:49 -0800)
committerGuido van Rossum <guido@dropbox.com>
Wed, 10 Feb 2016 17:49:36 +0000 (09:49 -0800)

Trivial merge