On Thursday, June 15, 2017 at 12:38:40 PM UTC-5, Volker Braun wrote: > > On Thursday, June 15, 2017 at 3:10:22 PM UTC+2, Nathan Dunfield wrote: >> >> but of course the Mac Mini has only 2 cores. >> > > For the record, our OSX buildbot is a quad-core mac mini (i7-3720QM CPU @ > 2.60GHz). >
Inexplicably, the option of a quad-core processor was dropped with the current Mac mini revision that came out in late 2014. Nathan -- 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 https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.