> Richard Sandiford writes:
>> Andrew Bennett writes:
>>> Hi,
>>>
>>> I have noticed that a patch was placed in bugzilla to do this change, but
>>> it
>>> does not appear to have been pushed. I was wondering if anyone could
>>> comment
>>> why this is the case?
>>>
>>> The bugzilla URL is the
Richard Sandiford writes:
> Andrew Bennett writes:
>> Hi,
>>
>> I have noticed that a patch was placed in bugzilla to do this change, but it
>> does not appear to have been pushed. I was wondering if anyone could comment
>> why this is the case?
>>
>> The bugzilla URL is the following:
>>
>> ht