"git-rts@gitlab.mpi-sws.org:adamAndMath/stdpp.git" did not exist on "f6f3b9c6dee84958ceafb1806670fcad593508ee"
Make the elements of gset persistent by changing the core
1 unresolved thread
1 unresolved thread
Compare changes
+ 11
− 5
@@ -11,11 +11,11 @@ Section gset.
@@ -32,8 +32,7 @@ Section gset.
@@ -54,8 +53,15 @@ Section gset.