Hi Leif, On 2015-05-13, leif <not.rea...@online.de> wrote: > ROFL, reviewing/merging #15642 that is.
In other words, the current develop is broken to the extent that one wouldn't even be able to download stuff without an unreviewed branch? Sweet. I am pulling from the latest develop in order to resolve a merge conflict with #16453. How to do it with a broken develop? Do I understand correctly: I pull from #15642, build sage, remove the commits from #15642 (otherwise, these commits would become part of the to-be-reviewed commits for #16453) and then merge with #16453? Best regards, Simon -- You received this message because you are subscribed to the Google Groups "sage-release" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-release+unsubscr...@googlegroups.com. To post to this group, send email to sage-release@googlegroups.com. Visit this group at http://groups.google.com/group/sage-release. For more options, visit https://groups.google.com/d/optout.