>>>>> "ZSH" == ShengHuo ZHU writes:

 ZSH> The patch looks fine.  Could you please sign the copyright assignment
 ZSH> so that we can install the patch?  I'll send you the detail in another
 ZSH> email.

Sure.

 ZSH> Also could you make a patch to the texi file too?

Here it goes.