diff COPYING @ 22643:3b1c0e1ede4c

util: fix sorteddict.pop When using `.pop` on such object the list was not cleared of the popped key, leading to crash.
author Pierre-Yves David <pierre-yves.david@fb.com>
date Thu, 02 Oct 2014 12:39:37 -0500
parents 8c8b55733cbd
children
line wrap: on
line diff