Ok, I rebased the branch (more like: manually fixed/recommitted what we need). As you say, it is possible to trigger an undo problem like this:
However, I investigated the issue and it is not a problem created by the commits in this branch. I've created a new issue for this problem #79 and this shouldn't block merging this PR.
beast mailing list
|Free forum by Nabble||Edit this page|