tree fef3a8436e53e159565e352eeb3c83a95f909654
parent 4d6c3e17c6574b5d0fa626359a7f14c435bc5e9f
author Uwe Schindler <uschindler@apache.org> 1637770880 +0100
committer Uwe Schindler <uschindler@apache.org> 1637770880 +0100

Remove reference to 8.x, change github PR jobs to use 8.11 branch