eressea/server — pull request #38 by badgerman (2014-10-15 18:05:37+00:00)
Title: Testing pull request builds with Travis

This should schedule a build, if I understand the system.