There was no patch pending for this ticket, so I changed its tag from PATCH to TODO. Also marked its status as Stalled.