> Does this suggest that the patch is moot, and that we may close the ticket?

yes.

Reply via email to