log tests/goback.urp

age author description
2011-08-28 Adam Chlipala Gentle handling of back-button returns to pages with stale message-passing credentials