[main] merge issue1004

aibasel · Feb 25, 2021 · 1589b00 · 1589b00
2 parents f2dc7fd + 3747faa
commit 1589b00
Show file tree

Hide file tree

Showing 13 changed files with 985 additions and 68 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -65,6 +65,9 @@ after the corresponding tracker issues.
 - For developers: add CPLEX support to our GitHub Actions for Windows
  <http://issues.fast-downward.org/issue1005>
 
+- Fix a bug in the computation of RHW landmarks
+ <http://issues.fast-downward.org/issue1004>
+
 ## Fast Downward 20.06
 
 Released on July 26, 2020.