hierarchy-builder structure parameters which are structures must be inferred

structure parameters which are structures must be inferred

Open gares opened this issue 4 years ago • 2 comments

Apr 20 '21 14:04 gares

@CohenCyril isn't this to be closed now?

Aug 25 '22 13:08 gares

@CohenCyril isn't this to be closed now?

I'm not sure what this PR was supposed to do ^^'

Aug 25 '22 13:08 CohenCyril

Superseeded and fixed by #385

Nov 30 '23 15:11 CohenCyril