Branch: refs/tags/v2.5.1 Home: https://github.com/uzh/gc3pie
**NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/ Functionality will be removed from GitHub.com on January 31st, 2019. -- You received this message because you are subscribed to the Google Groups "gc3pie-dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to gc3pie-dev+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/gc3pie-dev/5bfc75e3b4013_1ff22af6c6b0a58066165%40hookshot-fe-2cc8887.cp1-iad.github.net.mail. For more options, visit https://groups.google.com/d/optout.