David Luzar 82ce068972
fix history (#1009)
* fix history

* tweak withBatchedUpdates typing
2020-03-19 14:51:05 +01:00
..
2020-03-07 16:20:38 +01:00
2020-03-19 14:51:05 +01:00
2020-03-12 20:02:10 +01:00