Re: Merged branch with history

[Peter Simons]

Hi Dustin,

 > Done.

Thanks.

 > Peter, since you're doing most of the work on that branch, I'll leave
 > it to you to merge any unfinished work into master and delete the
 > 'maint' branch, ok?

I wouldn't know how to delete that branch. Is there a way to do that on
Savannah? Anyway, I committed the remaining changes from 'maint' into
'master' moment ago.

Take care,
Peter