Commit graph

1 commit

Author SHA1 Message Date
Andreas Rumpf
9e4e1949e8 concepts: fixes the stack overflow that happens for #6691 2017-11-05 21:31:02 +01:00