The source project of this merge request has been removed.
Note explaining how to increase docker memory allocation
Added note explaining that it may be necessary to change the memory allocation for the docker container for compilation purposes
Added note explaining that it may be necessary to change the memory allocation for the docker container for compilation purposes