On #11115, I stated both in the ticket description and in a comment and in the form field "Dependencies" that it depends on #9976 and #11298. Similarly, I indicated on #11298 that it depends on #9976. But the patchbot keeps ignoring #9976 when it applies the patches.
Could it be that the patchbot will not push a patch onto the patch queue that is already merged? But that would obviously be a bug: The patchbot starts with sage-4.7, but #9976 is only merged in sage-4.7.1.alpha0. Cheers, Simon -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
