tree 05bdf813c9e4058ffaa9812444c82fd29e0bcd58
parent 5f25316a9dfaaa3319bacc1c1fbeb81c2de7f86c
author Tim Kientzle <kientzle@acm.org> 1477278657 -0700
committer Tim Kientzle <kientzle@acm.org> 1477278657 -0700

Clarify some skipping messages