3 ms·

I beg to differ, there are a lot of small fixes all around which really add up

• Rochus 3y ago
  Also LeanQt has and continues to have "a lot of small fixes"; even backported features.