You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to sage-d...@googlegroups.com
hmm..yes, it seems 14218_remove_imports didn't apply correctly on my
machine, so 14219 is not correct. I'm fixing them now, but it looks like
I have to change 14218 and 14219 as the remove_imports is actually not
correct either. I'm running the long test now and when that finishes
later today I'll upload new versions (assuming they pass).