On 12/2/20 2:37 PM, Jason Merrill wrote:
> But this patch is OK.

Ok, pushed to trunk.  Thanks!

Peter

Reply via email to