tree ce1b645e69d8b9f510c10ea2805b9bcc67b04c23
parent 658dbd920d8e8d17723e014d886e43615107a59a
author Josh Gao <jmgao@google.com> 1464986280 -0700
committer Josh Gao <jmgao@google.com> 1464991279 -0700

versioner: improve error output slightly.

Print [introduced = 9, deprecated = 10, obsoleted = 11] instead of
[9,10,11].

Change-Id: Ifb8a66abbcec92aa13086d220af7ee6fa17b0897