Skip to content

Fix reverse_fold without concepts#76

Open
jkuebart wants to merge 2 commits intoericniebler:masterfrom
jkuebart:bugfix/reverse-fold
Open

Fix reverse_fold without concepts#76
jkuebart wants to merge 2 commits intoericniebler:masterfrom
jkuebart:bugfix/reverse-fold

Commits

Commits on Jul 29, 2019

Commits on Jul 30, 2019