I'd prefer to have a quick review for everything. Just having someone else having a quick look at the diff is also a good idea, and I think the peer-reviewing system of Sage is a real plus value.
By the way a bunch of more or less trivial updates, upstream patch inclusion: #12399, #14333, #14854, #15365, #15366, #15574, #15586, #15589 :) (Ok, some of these need porting to the new layout.) -- 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.
