Branch: refs/heads/spooldir 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/5b6eff1f48052_22e82ac01ffcef7c155ce%40hookshot-fe-7191cb1.cp1-iad.github.net.mail. For more options, visit https://groups.google.com/d/optout.