log

age author description
Mon, 26 Nov 2012 14:32:48 +0100 Christian Haeubl fix to avoid emitting a range switch for non-integer keys
Mon, 26 Nov 2012 11:02:50 +0100 Christian Haeubl fixes after merge
Mon, 26 Nov 2012 10:57:02 +0100 Christian Haeubl Merge.