Amazingly, this was merged! https://github.com/matplotlib/matplotlib/commit/a3abbb458e7142f76c8d465bba7e85c0bcb4de15
On Wednesday, October 2, 2013 9:55:06 AM UTC-4, kcrisman wrote: > > >> I've submitted a pull request. >> https://github.com/matplotlib/matplotlib/pull/2468 >> >> > If anyone cares about this, note that apparently MPL's list is the list of > colors from W3C. Sounds like they might still be okay with it - or would > we want to hack our copy of mpl? I'm agnostic about this, though I lean > toward inclusion. > -- 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 post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/groups/opt_out.