The general approach sounds okay to me, and I didn't see any obvious
issues from a very quick look at the webrev.

I did notice that the webrev entries for the renamed (deleted) files was
odd.  Which webrev.sh did you use?

mike

Reply via email to