gap-dev-discuss
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Gap-dev-discuss] potential contrib


From: Riccardo Mottola
Subject: Re: [Gap-dev-discuss] potential contrib
Date: Fri, 21 Oct 2016 18:23:59 +0200
User-agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:43.0) Gecko/20100101 Firefox/43.0 SeaMonkey/2.40

Hi Ray,

Ray Haleblian wrote:
Hi Riccardo,
The border change is simple and safe. Patch is attached. It's based on get master 280e9034.

indeed, it looks quite safe. Applied, tested and commited.

Thanks,
Riccardo



reply via email to

[Prev in Thread] Current Thread [Next in Thread]