Nicolas, I'm apply the same guard to #6538. Let me know if there's a better approach to this.
With #12925 applied, #6538 applies for me. Thus the queue should work now (at least with respect to my patch). Thanks, Travis -- You received this message because you are subscribed to the Google Groups "sage-combinat-devel" group. To view this discussion on the web visit https://groups.google.com/d/msg/sage-combinat-devel/-/wY7vZEYNLD4J. To post to this group, send email to sage-combinat-devel@googlegroups.com. To unsubscribe from this group, send email to sage-combinat-devel+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sage-combinat-devel?hl=en.
