I don't use it, but I think I once deprecated some code with such a message "This code seems dead. If you need it, please say it on sage-devel or it will be removed in one year".
We can try that here, otherwise it's hard to be sure that nobody uses it :-) Nathann -- 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/d/optout.
