Skip to content

Patch the database [#3383]

Ethan Reesor requested to merge 3383-repair-a-database-to-match-a-known-good-database into main

Closes #3383 (closed). Adds various tools for comparing databases, building summaries, patches, fixes, diffs, etc. More importantly, adds a script and fix file that can be used to revert DN block 12614506, to fix the stall.

Changelog: feature

Merge request reports