Skip to content
GitLab

Add CHANGES for [GL #3641] 

(cherry picked from commit 625c6fd1)
69 jobs for !7016 with 3641-cleanup-dead_nodes-from-prune_tree-v9_18 in 22 minutes and 16 seconds (queued for 7 seconds)
latest merge request
ca6d62ec
1 related merge request: !7016 Cleanup the dead nodes when pruning the tree [v9.18]