log tests/goodbye.ur

age author description
2012-04-08 Adam Chlipala Refactor to avoid dependence on recursive mutexes