worklist/hifi — pull request #506 by ZappoMan (2013-06-07 16:55:46+00:00)
Title: Bug fixes

- fix build busters caused by bad merge
- fix animation server bug, not sending entire billboard