Multiple changes#5

Open

exo-core wants to merge 4 commits intoernestmc:masterfrom

exo-core:multiple_changes

Commits on Aug 23, 2018

Commits on Aug 29, 2018

made constructors public
exo-core
committed

Commits on Aug 30, 2018

added possibility to abort a goal
exo-core
committed