[issue13927] Document time.ctime format

[Paul Ganssle]

Paul Ganssle <p.ganssle at gmail.com> added the comment:

We've merged the PR and I think it resolves this issue, so we can close this issue now. Please let me know if it's not fully resolved and we can re-open.

Thanks Roger for reporting this and Harmandeep for making the PR and requested changes.

----------
resolution:  -> fixed
stage: patch review -> resolved
status: open -> closed
type: behavior -> enhancement

_______________________________________
Python tracker <report at bugs.python.org>
<https://bugs.python.org/issue13927>
_______________________________________