log

age author description
Fri, 12 Oct 2018 14:33:03 +0200 Pierre-Yves David next: also use stack shortcut in output when possible
Fri, 12 Oct 2018 11:33:30 +0200 Pierre-Yves David branching: merge stable into default