On 11/01/2013 9:06 p.m., Tianyin Xu wrote:
Hi, Amos, Alex,Thanks a lot for your comments! They are really good advice. The updated patch is attached. It addresses all the issues you mentioned except whether to deprecate the "enable"/"disable" options, which is worth of discussion. Thanks, Tianyin
Unless anyone has further comments I will apply this patch with the grammar fixes which still seem to be missing.
Amos
