floodlight/loxigen — pull request #146 by andi-bigswitch (2013-11-27 21:08:02+00:00)
Title: small fixes, push tags in push-artifacts

Reviewer: trivial
CC: @rlane

the tags for loxigen-artifacts didn't get pushed to github.