]> granicus.if.org Git - python/commitdiff
Add the original author of profile.py back to the docs, at his request. (Merge)
authorGuido van Rossum <guido@dropbox.com>
Thu, 10 Sep 2015 19:12:23 +0000 (12:12 -0700)
committerGuido van Rossum <guido@dropbox.com>
Thu, 10 Sep 2015 19:12:23 +0000 (12:12 -0700)

Trivial merge