2a8f9ab57f
- Make some small style changes to vnode_pager_setsize(); most notably, move two comments to a more logical place.