Revision 789b35d125e3e4179c012b5a2d75f5871e795a8b

Committed on 28/01/2019 6:58 am by Marek NocoĊ„ <mnocon@users.noreply.github.com> [GitHub Diff]

Increase shared memory to 1gb (#353)