@marc-hanheide if you're still online and not cleaning bathrooms maybe you can check this and merge so we can release the exe/nav/fremen parts to have a testable released system soon.
looks good. BTW one change on jenkins is that it now runs make install for devel builds to check the validity of install targets. So we are a bit safer in this regard.
@marc-hanheide if you're still online and not cleaning bathrooms maybe you can check this and merge so we can release the exe/nav/fremen parts to have a testable released system soon.