Re: bug in mixed-version detection + single-file externals

Hmm, a merge attempt isn't that hard, here's another script that does
that, and has the same problem.

We don't use local file repositories, but this has the same symptom as
w/ a remote server.

hope it's either an easy fix or an easy workaround...

--Jason