Upstream being dead, the only alternative to forking is to live forever with a fixed version. That might work for the moment, but eventually we will find issues with newer compilers, or newer version of the libraries it deppends on, or the newer version of python.... And at that point forking will be the only way to go on.
So, from my point of view, the question is if we should fork polybory, but if we are going to do so now or later. Unless of course in the meantime we find an alternative to polybory, but i wouldn't count on that. -- 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/d/optout.
