@dima, @matthias : this public forum is not an appropriate venue to discuss personal disagreements. From what you both write I get the impression you actually have a lot of common ground and only a few differences in opinion, but that personalities and discussion styles exaggerate the disagreements. I hope a moderator steps in to warn you about code of conduct and making discussions personal. In the mean time, stepping back and let things cool down is probably the better thing to do, since I don't see a positive outcome from continuing your current back-and-forth, and it's toxic for other people following the thread to be confronted by such discord between respected members of the community.
-- 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 view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/42fb0b3a-3f1c-48de-9a30-377e9dcd41cfn%40googlegroups.com.
