Hello, By mistake I merged a PR which contained two commits instead of the customary one. What is the policy (and method) for fixing this for the Calcite repository?
https://github.com/apache/calcite/commit/5b441c639de1ec428891061b931bd69d9996efe4 Should have been squashed into https://github.com/apache/calcite/commit/1b36f07ce98f0e6d620b5ea1e1c773b376c3e81e Sorry for the complications, I will double check next time. Thank you, Mihai
