Merge branch 'bug-423847'
authorSebastian Pipping <sebastian@pipping.org>
Sun, 8 Jul 2012 22:02:29 +0000 (00:02 +0200)
committerSebastian Pipping <sebastian@pipping.org>
Sun, 8 Jul 2012 22:02:29 +0000 (00:02 +0200)
commit08e9d742e2ecc246dbece1652810e468f0b6c882
tree287ff84aa2f2ffbd28f1fcc63d9b2aad3b964158
parentc261693b9265555eff75cee04a9c1a2c2ee07eac
parentc718d01381a9a619f71b0b500747604c3c8961c0
Merge branch 'bug-423847'