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
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