Adding GUndo plugin as a submodule