Commit graph

1 commit

Author SHA1 Message Date
Andreas Rumpf
4ec5cbac0d
fixes #15361 (#15401)
* fixes #15361; better cursor inference
2020-09-24 15:41:45 +02:00