Skip to content

Add a flyweight copy() to SwhGraphProperties to make it threadsafe

This is !131 (closed) on top of current master, plus the new .copy() from https://github.com/vigna/dsiutils/pull/6

Merge request reports