diff --git a/xdocs/proposal.xml b/xdocs/proposal.xml index 499c8ec..f1cd58e 100644 --- a/xdocs/proposal.xml +++ b/xdocs/proposal.xml @@ -75,11 +75,11 @@ Non-goals: