Revision 65e6079443c3cd413012e146aa74307f18671f42

Committed on 19/07/2012 12:55 am by Fabien Potencier <fabien.potencier@gmail.com> [GitHub Diff]

implemented a temporary workaround for #17