On Thu, Aug 29, 2013 at 10:04:10PM +0200, Ludovic Courtès wrote: > I just did that in commit a9424c0 (already pushed). I think it does > the right thing, but if it doesn’t, let’s discuss it. :-)
It works well for me, and the patch fixing the size of the graph is also a nice addition. Thanks! Andreas
