]> granicus.if.org Git - python/commitdiff
Issue #25717: Merge comment from 3.5
authorMartin Panter <vadmium+py@gmail.com>
Sun, 6 Dec 2015 11:19:31 +0000 (11:19 +0000)
committerMartin Panter <vadmium+py@gmail.com>
Sun, 6 Dec 2015 11:19:31 +0000 (11:19 +0000)

Trivial merge