On Mon, 14 Sep 2020, 20:21 Laszlo Kishalmi, <laszlo.kisha...@gmail.com> wrote:
> I'm creating a PR to revert the mentioned one. It was not supposed to be > merged. > Can't you just revert via GitHub UI when merged via commit to ASF?! And a definite +1 to revert! Neil >
