Revision 134df6a96b979ac98c0ae24298121839a698c28f

Committed on 11/12/2018 6:44 pm by Paulo Rodrigues Pinto <regularjack@gmail.com> [GitHub Diff]

Fix OOM errors on CI