26.01.2021 18:36, Kevin Wolf wrote:
Am 26.01.2021 um 16:15 hat Vladimir Sementsov-Ogievskiy geschrieben:
OK, thanks for handling it!

You're welcome.

Only problem now: Max sent a conflicting pull request that touches
'group'. He suggested that we could split the deletion of 'group' from
the 'check' rewrite and merge it only later when nobody touches 'group'
any more (because it's unused).

I think it's OK.. Nothing really wrong in forgetting to remove unused file, and 
remove it later :)


The other option is that I wait a bit or speculatively merge his tree
(with a lot more patches) before doing my pull request in the hope that
it doesn't fail.

When will we move to python 3.7?

I seem to remember that 3.6 is used by more or less all of the current
enterprise distributions, so I'm afraid it will be a while.

Kevin



--
Best regards,
Vladimir

Reply via email to