I guess not - thanks Andrea. kind regards
Tobias > Am 29.04.2016 um 16:31 schrieb Andrea Del Bene <an.delb...@gmail.com>: > > I've noted that on Travis CI builds for git pushes was disabled. Was it set > like this intentionally? I've re-enabled them. > > Andrea.
