aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/bugs/closed/4363.v
Commit message (Expand)AuthorAge
* Test file for #4363 was not complete.Gravatar Maxime Dénès2015-12-14
* Univs: Fix bug #4363, nested abstract.Gravatar Matthieu Sozeau2015-12-11