Re: unknown flavor py37

From: Christoph Moench-Tegeder <cmt_at_burggraben.net>
Date: Thu, 26 May 2022 21:57:50 UTC
## Daniel Braniss (danny@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