Merge branch 'task/JAL-3254_improved_max_memory_stack_setting' into task/JAL-3247_JAL...
authorBen Soares <bsoares@dundee.ac.uk>
Mon, 20 May 2019 22:03:23 +0000 (23:03 +0100)
committerBen Soares <bsoares@dundee.ac.uk>
Mon, 20 May 2019 22:03:23 +0000 (23:03 +0100)
commitd6914d9c40f632c848e9936254400bfcd64720a6
treeae6d5f1a7b9753d4c1b05180f7ed1d354ee7226a
parentc3357e172e3c6cc9e257ee9e9cf87442f7d83dea
parent8988e5070bf882959c09e325789c84f5ef4e1832
Merge branch 'task/JAL-3254_improved_max_memory_stack_setting' into task/JAL-3247_JAL-3246_JAL-3254_JAL-3236_merge

Merging a number of fixes/improvements into one branch and then merge in develop
gradle.properties