
Nov. 20, 2017
10:16 a.m.
ah indeed, that's a much better fix :-) The original was done a bit haphazardly :-) On Sun, Nov 19, 2017 at 11:07 PM, Armin Rigo <armin.rigo@gmail.com> wrote:
Hi,
On 9 November 2017 at 10:07, Antonio Cuni <anto.cuni@gmail.com> wrote:
I suppose that the explanation that you put in the commit message should also go in a comment inside the source code, else when someone sees it it's just obscure.
Done in d00a16ef468f. I reverted the addition of ShuffleDict, and instead made a two-lines tweak to the logic at the place where ordering matters---with a long comment :-)
A bientôt,
Armin.