Fri, 06 Jan 2017 13:27:18 +0100 manage buffer models as explicit global state;
wenzelm [Fri, 06 Jan 2017 13:27:18 +0100] rev 64813
manage buffer models as explicit global state; tuned signature;
Fri, 06 Jan 2017 11:58:29 +0100 tuned signature;
wenzelm [Fri, 06 Jan 2017 11:58:29 +0100] rev 64812
tuned signature;
Sat, 07 Jan 2017 09:56:33 +0100 obsolete
haftmann [Sat, 07 Jan 2017 09:56:33 +0100] rev 64811
obsolete
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 tip