Marking as patch-rejected since provided patch, though good, is only a workaround and the issue was fixed elsewhere.
Marking as patch-rejected since provided patch, though good, is only a workaround and the issue was fixed elsewhere.