KevinHuSh
enlarge docker memory usage (#501)
3cefaa0