- 06 Nov, 2015 1 commit
-
-
(Merge was previously reverted accidentally. Re-applying merge to fix this.)
bernhard-gatzhammer committed
-
- 03 Nov, 2015 1 commit
-
-
This reverts commit 554c76f7, reversing changes made to fc660db0.
bernhard-gatzhammer committed
-
- 22 May, 2015 1 commit
-
-
Fixed the buggy implementation of the id pool (did give out fewer elements as capacity, with repeated operations capacity was further reduced).
Christian Kern committed
-
- 24 Feb, 2015 1 commit
-
-
Marcus Winter committed
-
- 02 Feb, 2015 1 commit
-
-
Tobias Schuele committed
-
- 06 Oct, 2014 1 commit
-
-
Marcus Winter committed
-
- 01 Oct, 2014 1 commit
-
-
Tobias Schuele committed
-
