2 commits

Author	SHA1	Message	Date
cooldome	69fe707025	Fix 15629 (#15888) ... * fix #15858 * fix space * fix #15629 * Revert "fix space" * Revert "fix #15858"	2020-11-09 12:26:12 +01:00
Andreas Rumpf	d130175342	cursor and mutation tracking fixes (#15113) ... * fixes #15110 * fixes #15096 * prepare varpartitions for cursor inference * new cursor inference begins to work * make tests green	2020-07-30 17:32:48 +02:00