• Vladimír Čunát's avatar
    Merge !45: various nitpicks · 3060ee6d
    Vladimír Čunát authored
    Assortment of unimportant changes that I created during trying to understand how the whole resolution process works. Best read each commit separately.
    3060ee6d