aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/bugs/closed/3672.v
Commit message (Expand)AuthorAge
* Fix bug #3672, application of primitive projections as coercions.Gravatar Matthieu Sozeau2014-09-27