Commit aaa0878e4df2825d2597e407b5015a0e663ec7f8

Stefan Sperling 2019-01-08T19:44:25

add got_pathset API which manages a tree of paths