On 30.07.2014 19:59, Bill Deegan wrote:
Dirk,

I can change the name to 17 and restart if you can update the slave on your side?

-Bill

Okay, let's do that. Do I have to change some config first, or do I restart the slave right away?

Dirk

_______________________________________________
Scons-dev mailing list
[email protected]
http://two.pairlist.net/mailman/listinfo/scons-dev

Reply via email to