[main] Merge issue1000.

aibasel · Feb 19, 2021 · dacd916 · dacd916
2 parents bb7323e + 70f4d37
commit dacd916
Show file tree

Hide file tree

Showing 11 changed files with 669 additions and 24 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -28,6 +28,7 @@ after the corresponding tracker issues.
 - For developers: move functionality used during search away from
   LandmarkGraph, making it constant after creation.
   <http://issues.fast-downward.org/issue988>
+  <http://issues.fast-downward.org/issue1000>
 
 - For developers: new state class
   <http://issues.fast-downward.org/issue348>