FYI / In case you hadn't noticed: Github just made some changes to the PR review screen.
In the "Filed changed" tab, you can now look at individual commits (while still in the scope of the PR!) and/or individual files: [cid:1A0A283F-0C1C-4335-988E-F013C2246FA6@cisco.com] -- Jeff Squyres jsquy...@cisco.com<mailto:jsquy...@cisco.com> For corporate legal information go to: http://www.cisco.com/web/about/doing_business/legal/cri/
