inesc-id-esw/jvstm — pull request #13 by smmf (2014-07-11 09:31:54+00:00)
Title: fix direct commits on master

This pull request highlights the commits eca7e5f performed directly to the master branch and the additional pull request for b63803e.