tree ca061612a10ae89ab86c1c9ca4a86e5bde63f969
parent 54e9569d14b127806e45e1c17ec4a1f5f7271d3f
parent f5858b5bf75ef82dfc15b7284abd2f4b0d8278e4
author Jeremy Kerr <jk@ozlabs.org> 1459983690 -0700
committer Jeremy Kerr <jk@ozlabs.org> 1459983690 -0700

Merge branch 'travis' of https://github.com/shenki/obmc-console