I did what we discussed earlier today. Now all done. Please merge the changes at your earliest convenience. I will write you offline to summarize what have been changed.
Since I issued the PR, the intended contribution has been much enhanced. In light of what the new materials, this PR is no longer valid. Thus it's closed.
Dear Sven,
I did what we discussed earlier today. Now all done. Please merge the changes at your earliest convenience. I will write you offline to summarize what have been changed.
Thanks,
Chin