log tests/concat.urp

age author description
2010-10-10 Adam Chlipala Hopeful fix for the Great Unification Bug