Am 07.02.2017 um 09:07 schrieb Riccardo (Jack) Lucchetti:
On Mon, 6 Feb 2017, Allin Cottrell wrote:
> On Mon, 6 Feb 2017, Allin Cottrell wrote:
>
>> I'm about to merge the new "genr" code that properly handles
nesting
>> of the member-of relation. It has been tested to a fair extent
>> already, but it will be easier for me to complete the testing once
>> this code is in the "master" branch.
>
> In case anyone needs it: I've deleted the "gentest" branch that has
> now been merged into master, but there's now an "oldgen" branch which
> preserves the state just prior to the merge.
Does that mean that all the new apparatus is in git now?
It sounds like it, or what else could the merge of the new code mean?
-sven