log tests/whiteout.urp

age author description
2009-03-29 Adam Chlipala Expunging nullable fields