Commit History

Author SHA1 Message Date
  ringabout 1a7b33942b closes #6559; add testcase (#20200) 2 years ago
  Andreas Rumpf 1cbdc1573a fixes #19159 [backport:1.6] (#19210) 3 years ago
  Andreas Rumpf e0ef859130 strict effects (#18777) 3 years ago