On 05/18/15 02:01, Edd Barrett wrote:
> On Sun, May 17, 2015 at 08:22:06PM +0200, Guenther Niess wrote:
>> On 05/04/2015 03:08 PM, Edd Barrett wrote:
>>> On Sat, May 02, 2015 at 11:59:10AM +0100, Edd Barrett wrote:
>>>>> Gzipped diff attached.
>>>
>>> Fixed MASTER_SITES0. New diff attached.
>>
>> I applied your patch on my amd64 -current system and compiled a few of
>> my documents. All seems to work fine, if I'm running into problems I
>> will let you know. Thanks for the patch!
>
> Thanks for testing.
>
> Giovanni also did some testing and found a couple of nits. I've pushed
> those fixes to openbsd-wip.
>
> I did a load of typesetting last week and didn't hit any issues. I think
> we should go ahead and commit this.
>
> Anyone willing to OK what is in openbsd-wip?
>
ok, committ it.
Cheers
Giovanni