inesc-id-esw/jvstm — pull request #14 by smmf (2014-07-11 09:55:22+00:00)
Title: VBox.put() should not use beginInevitable

Fixes #11