On Mon, Jul 03, 2023 at 08:34:39AM +0200, Peter Eisentraut wrote:
> Maybe this could be combined into one command?
On clarity ground, I am not sure that combining both is a good idea.
Perhaps the use of a different variable, like bison a few lines above,
makes things cleaner?
> Looks good otherwise.
Thanks for the review.
--
Michael