aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/bugs/closed/3895.v
Commit message (Expand)AuthorAge
* Fixing #3895 (thanks to PMP for diagnosis).Gravatar Hugo Herbelin2015-01-03