Issues Show Unassigned Show All Search
Login Remember me? Register Lost your login?
Help Roundup docs
Created on 2018-07-10.15:59:34 by jendrik, last changed by thomas.
Merged.
Looks good to me. Feel free to merge.
I made a pull request at https://bitbucket.org/jendrikseipp/downward/pull-requests/98 .
This is a follow-up from issue801.