Saving animations

Replying back to the mailing list so that others can see your response…


On Thu, Oct 4, 2012 at 12:53 PM, Andreas Mueller <amueller@…4089…> wrote:

Thanks for the quick answer.

I am not on the box but I used master from yesterday, so [89482b21c8582d49a2ddc2865e472eb404fd07e2](    ,

I guess.

The platform is Ubuntu Precise (with loads of random Python

packages, but that seems somewhat unrelated).