Avoid losing allocation futures#223

trafalgarw wants to merge 2 commits into

openTCS:masteropenTCS/opentcs:masterfrom

trafalgarw:developtrafalgarw/opentcs:developCopy head branch name to clipboard