Closed leofeyer closed 4 years ago
Except the ^7.1 || ^8.0 vs >=7.1 discussion, this PR is ready to be merged.
^7.1 || ^8.0
>=7.1
btw.: This is Nikita Popov and Nikolas Grekas talking about this https://youtu.be/c3bpTBjhK2Y?t=293
Except the
^7.1 || ^8.0
vs>=7.1
discussion, this PR is ready to be merged.