David Hendricks posted comments on this change.

View Change

Patch set 10:

PS10 updates the man page.

PS9 was a bad merge, ignore it.

To view, visit change 19342. To unsubscribe, visit settings.