Re: Handling problems with patches after the patch is pushed

[James Lowe]

On 17/05/2020 18:43, David Kastrup wrote:

New issue + crossreference would be my suggestion.

and mine.

James