Summary of changes:
f551508... Fixes for kernel 5.3 (*)
ea203cd... - Rebuilt for
https://fedoraproject.org/wiki/Fedora_31_Mass (*)
55e5af2... Rebuild for new el7 kernel (*)
32372dd... Update to 6.0.12 (*)
35e65d9... t checkout el7 && git merge master && git push &&
rfpkg bui
(*) This commit already existed in another branch; no separate mail sent