Commit 25a58941e2beadb3c782e68c751bd74947177955

Stefan Sperling 2019-01-08T23:56:48

remove the pathset abstraction again; replaced by RB tree