No objections.

On 11/21/22 20:12, Ihor Radchenko wrote:
Daniel Ortmann <daniel.ortm...@oracle.com> writes:

I am happy with whatever you decide.  :-)
Then, here is a tentative patch introducing new :results ignore header
argument.

Any objections?





Reply via email to