[Janos#16] Navigation fixes - #19
Open
mibo wants to merge 10 commits into
Open
Commits
Commits on Oct 2, 2016
- committed
- committed
- committed
- committed
Commits on Oct 3, 2016
- committed
Michael Strasser
Commits on Oct 5, 2016
- committed
Michael Strasser - committed
Michael Strasser - committed
- committed
Commits on Oct 7, 2016
- authored andcommitted
