Loading
kratos: git rid of 'with' and 'rec' where possible, fix Makefile shell path...
kratos: git rid of 'with' and 'rec' where possible, fix Makefile shell path patching, move commit hash to variables
kratos: git rid of 'with' and 'rec' where possible, fix Makefile shell path patching, move commit hash to variables