## Daniel Braniss (da...@cs.huji.ac.il): > but some have 3.6+, and make FLAVOR=37 failes with unknown flavor …
In theory you should only handle FLAVOR manually in rather rare cases. Did you read UPDATING entry 20210425 and set DEFAULT_VERSIONS accordingly? Regards, Christoph -- Spare Space
