tree ff08d8a02c90b6bbee2a68e44df44a2ea6fbe5b1
parent dd382ef8ec8a572f202999ca94ff292722f3d6f6
author Victor Stinner <victor.stinner@gmail.com> 1391223487 +0100
committer Victor Stinner <victor.stinner@gmail.com> 1391223487 +0100
HG:rename-source hg

Issue #20354: Mention the fix in Misc/NEWS