v8.2.2507
0fa09676 · patch 8.2.2507: github build may fail if Ubuntu 20.04 is used ·