Revision 629474b37f9959690e8361ac14b03d5be94a3c43

Committed on 06/04/2016 7:38 am by Gaetano Giunta <[email protected]> [GitHub Diff]

fix legacy extension hopefully for good