• Alfredo Di Napoli's avatar
    get_user_root_node_folder picks the oldest public folder · 59d96471
    Alfredo Di Napoli authored
    Previous to this commit, `get_user_root_node_folder` would fail with
    a `UserHasTooManyRoots` in case this was called on a tree which had
    more than one "public" folder.
    
    We fix this by taking the oldest available node, which will always
    correspond to the notion of "root", being the first ever created.
    59d96471
Name
Last commit
Last update
..
API Loading commit data...
Core Loading commit data...
Database Loading commit data...
Graph Loading commit data...
Ngrams Loading commit data...
Offline Loading commit data...
Parsers Loading commit data...
Server Loading commit data...
Utils Loading commit data...
API.hs Loading commit data...
Instances.hs Loading commit data...
Types.hs Loading commit data...
Utils.hs Loading commit data...