Fri, 11 Aug 2017 10:52:44 +0200 | Boris Feld | obsolete: allprecursors was deprecated | changeset | files |
Fri, 11 Aug 2017 10:41:11 +0200 | Boris Feld | context: precursors was deprecated | changeset | files |
Fri, 11 Aug 2017 09:32:23 +0200 | Boris Feld | context: troubled was deprecated | changeset | files |