Short answer is "by mistake".
Longer answer is that I accidentally keep it disabled while I was
testing the fix for armv7hl and I wanted to avoid waiting ages for the
build to finish. Re-enabling it right now, sorry. And thx for spotting.
Vít
Dne 09. 01. 21 v 0:06 Pavel Valena napsal(a):