diff COPYING @ 330:bf4bbb53e217

Fix incorrect report following failed push (was falling through to merge-failed case)
author Chris Cannam
date Sat, 12 Mar 2011 22:18:08 +0000
parents f583e44d9d31
children 87d423722656
line wrap: on
line diff