Revision 134df6a96b979ac98c0ae24298121839a698c28f

Committed on 11/12/2018 6:44 pm by Paulo Rodrigues Pinto <[email protected]> [GitHub Diff]

Fix OOM errors on CI