Am 27.08.2014 16:17, schrieb Dirk Hohndel: > The question of a better CI solution has come up before. Daily pulls of > the strings clutter the git history but sure, this would be very easy to > do. Let me think about it some more. what about using https://travis-ci.org to produce daily builds? /martin