Dear Paul, > Dear Jinyoung, > > > Thank you very much for your patch. Some minor comments, you can also > ignore. I will reflect the advice you gave me regarding the commit message and send it again. > Your From line spells it CHOI. Maybe you can update your git > configuration to also use Choi? It was being set like that in the company mail system. (CHOI) I will modify it to be seen as "Choi". Thank you for your comment. :) Best Regards, Jinyoung.
