we don't have many builds running right now, and i need to restart the daemon quickly to enable a new plugin.
i'll wait until the pull request builder jobs are finished and then (gently) kick jenkins. updates as they come, shane (who's always nervous about touching this house of cards) --------------------------------------------------------------------- To unsubscribe e-mail: dev-unsubscr...@spark.apache.org
