Sure. I just wanted to say if someone has an urgent need like I had a few weeks ago when I needed it to fix the mongo driver.
On 25 Jun 2014, at 09:49, Norbert Hartl <norbert@hartl.name> wrote:But it gets quite slow for large dictionaries� (it searches linearly always).
Am 25.06.2014 um 09:01 schrieb Marcus Denker <marcus.denker@inria.fr>:SmallDictionary is an ordered dictionary.
On 24 Jun 2014, at 21:52, stepharo <stepharo@free.fr> wrote:Where which package?We should think about have an OrderedDictionary in the base system�
Because we should track it and publish a new package.