Agree. Larry On 21 Dec 2012, at 12:43, Jasmin Christian Blanchette <[email protected]> wrote:
> Skipping a version can be a good solution in the long run. If the bug is in > Mercurial, then chances are that other people will start reporting similar > bugs to the Mercurial mailing list, that the maintainers will take the bug > reports seriously, and then fix the issue in 2.5 or 2.6. [*] _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
