-
b74d057f · new MAGNETDB imported from branch explicit_db_name
-
8cbc4db8 · compiles and pass tests on pc-scafuri
-
8c26b548 · Merge branch 'explicit_db_name' into 'master'
- ... and 2 more commits. Compare 4bd154dd...8c26b548
-
f2318b1e · increase patch level number
- ... and 1 more commit. Compare 77ed7171...f2318b1e