That PR is no longer ignored, it's merged.

Reply via email to