On 2013-12-19 12:33, Volker Braun wrote:
Ticket closed means it is merged on my local "develop" branch. Which you can find mirrored if you dig around in my own github account, since that is where the buildbot pulls from.
OK, so it doesn't really mean anything in practice. If there are problems on the buildbot, you will re-open it, right?
Thanks for the answer, Jeroen. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/groups/opt_out.
