Re: [PATCH] Remove code leftover that has never been used.

[Martin Sebor]

On 8/27/19 8:04 AM, Martin Liška wrote:

Hi.

I would like to remove the leftover that hasn't been used since
when it was introduced.

Ready for trunk?

It's fine with me, thank you.

Martin