Merge pull request #1114 from rraallvv/vanilla

Fix issue #1113
This commit is contained in:
Juan Linietsky 2015-01-08 21:58:09 -03:00
commit 3b5fcebeb7

Diff content is not available