These disputed PRs under voting need input from the sage community. I think the release manager should deal with a disputed PR that got "positive review" from voting separately and give at least a week or two before deciding on it (to merge).
-- 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 sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/ccf6e114-db34-4f6b-9410-abaa91bb660an%40googlegroups.com.
