aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/output/bug6821.out
Commit message (Expand)AuthorAge
* Fixes #6821 (bug in protecting notation printing from infinite eta-expansion).Gravatar Hugo Herbelin2018-02-23