Issues Show Unassigned Show All Search
Login Remember me? Register Lost your login?
Help Roundup docs
Created on 2019-10-10.19:20:42 by jendrik, last changed by jendrik.
Thanks for the review, Patrick! This is now merged.
I am happy with the changes and say it can be merged.
Sure, will do.
Can you ask someone else to review? If they are happy, I am happy.
Just in case this issue got lost in the mix: this still needs a review.
Pull request: https://bitbucket.org/jendrikseipp/downward/pull-requests/144
This is a follow-up issue for issue935.