It's a mistake on my part, sorry! Martin
Am Freitag, 17. April 2015 23:55:04 UTC+2 schrieb Martin R: > > Hi Frederic! > > It seems to me that the patchbot 2.3.3 reports itself as patchbot 2.2, is > this possible or a mistake on my part? > > Martin > > Am Mittwoch, 15. April 2015 22:55:34 UTC+2 schrieb Frédéric Chapoton: >> >> Hello, >> >> As I have said before, I have no machine other than my laptop, so I only >> test the patchbot on my own sage installation on that laptop. >> This means that I test it interactively inside an Ipython Session, and >> only in plugin_only mode, so that it will not run too long and destroy my >> sage installation (I hate ATLAS recompilation) >> This was working when I proposed the 2.3.3 version. But of course I >> missed that the compilation step would go astray, because I do not use sage >> -patchbot >> I am sorry if this causes some inconvenience. I try to do my best to >> enhance the patchbot, because I care that it works, >> but maybe I am not competent enough. In the lack of a more qualified >> person, nevertheless... >> >> Frederic >> >> Le mercredi 15 avril 2015 21:28:54 UTC+2, Jeroen Demeyer a écrit : >>> >>> On 2015-04-15 17:41, Frédéric Chapoton wrote: >>> > oops ! Thanks a lot. I was not sure which one of the two lines must >>> > really be first, so I choose the utf8 one.. >>> >>> Obvious question: do you actually try the patchbot yourself before >>> making a new public package? >>> >>> -- 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.
