Torsten Ruger d6c503ecf4 inlined indexed into list
which was the only one using it.
A whole lot simpler, considering it will have to be bootstrapped someday
2016-12-30 21:00:18 +02:00
..
2016-12-30 21:00:18 +02:00
2016-12-30 20:47:28 +02:00
2016-12-08 20:13:08 +02:00
2016-12-10 18:48:41 +02:00
2016-12-17 13:12:49 +02:00