Because I pushed to savannah about 90 seconds after I pulled and in that
90 seconds Jaroslav pushed to savannah, I created a branch on savannah,
and just merged it... John if you don't like the branch/merge please
don't hesitate to trim the branch if you have local access to the
savannah repository.