Revision 6a6edcb673f02d68c58fa4e8c4a10138041a60d9

Committed on 09/03/2014 4:32 pm by Gaetano Giunta <giunta.gaetano@gmail.com> [GitHub Diff]

Fix compatibility with recent pake releases