tree 23cb07626151f315c3cead9e2c67756dce44b2f9
parent 2ef3bdcc4f6091bb778b8642aadfe4fdf5cc97eb
author Guido van Rossum <guido@dropbox.com> 1420598450 -0800
committer Guido van Rossum <guido@dropbox.com> 1420598450 -0800

Update proposed resolution formatting.