diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/todo/avoid_unnecessary_union_merges.mdwn | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/todo/avoid_unnecessary_union_merges.mdwn b/doc/todo/avoid_unnecessary_union_merges.mdwn index 67aa28579..5cd4b6437 100644 --- a/doc/todo/avoid_unnecessary_union_merges.mdwn +++ b/doc/todo/avoid_unnecessary_union_merges.mdwn @@ -16,3 +16,5 @@ occurs before it has done anything, so ctrl-c should not be a problem there. This is a delicate change, I need to take care.. --[[Joey]] + +> [[done]] (assuming I didn't miss any cases where this is not safe!) --[[Joey]] |