Felix Krause ad18db5113 Do not use first class iterators in serialization
* needed for JS backend
2016-09-01 20:56:34 +02:00
..
2016-08-30 22:15:29 +02:00
2016-08-30 22:15:29 +02:00
2016-08-30 22:15:29 +02:00
2016-08-30 22:15:29 +02:00
2016-08-30 22:15:29 +02:00
2016-08-30 22:15:29 +02:00