On Tue, 28 Jan 2014, H.J. Lu wrote:
> Here is the patch for changes.html.  OK to install?

Yes.  Just say "command-line option" please.

Thanks,
Gerald

Reply via email to