On 05/21/2014 08:06 AM, Omair Majid wrote:

I will need to push that closed generated-configure.sh afterwards however
so that closed builds don't break.
Anything I need to do to ensure the pushes are co-ordinated correctly?

Just make sure I notice the push and I'll fix ASAP ..

-phil.

Reply via email to