Re: Is it safe to delete mergeinfo.db?

On Wed, 19 Sep 2007, Malcolm Rowe wrote:

> On Wed, Sep 19, 2007 at 03:28:48PM -0400, Mark Phippard wrote:
...
> > It seems like someone needs to show real problems and corruption in
> > the database before we ought to go that far. I do not think it has
>
> I agree, and this is something that we can do post-1.5. I'm just a
> little worried about using an index that we can't recreate online,
> that's all.
...

For now, the answer is "perform backups". That said, do we need to
tweak tools/backup/hot-backup.py or any other scripts to handle
mergeinfo.db?