tree a5e17251ba6b46f945418a6c5b0635800e328773
parent 776171b71897fde845e1f1c08f7bd2250e1b203d
author rnveach <rveach02@gmail.com> 1513394369 -0500
committer Roman Ivanov <romani@users.noreply.github.com> 1514005623 -0800

Pull #5363: added missing annotation token definition