Update FST-1035-xml-documentation-collecting-mechanism.md

fsharp · Sep 8, 2021 · 5214b58 · 5214b58
1 parent c4d3720
commit 5214b58
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/tooling/FST-1035-xml-documentation-collecting-mechanism.md b/tooling/FST-1035-xml-documentation-collecting-mechanism.md
@@ -4,10 +4,11 @@ The design suggestion [Redesign XML-documentation collecting mechanism](https://
 
 This RFC covers the detailed proposal for this suggestion.
 
-* [ ] Approved in principle
-* [ ] [Suggestion](https://github.com/fsharp/fslang-suggestions/issues/1071)
-* [ ] [Implementation](https://github.com/dotnet/fsharp/pull/11973)
+* [x] Approved in principle
+* [x] [Suggestion](https://github.com/fsharp/fslang-suggestions/issues/1071)
+* [x] [Implementation](https://github.com/dotnet/fsharp/pull/11973)
 
+See also [F# Tooling RFC FST-1031 - Recommended XML doc extensions for F# documentation tooling](https://github.com/fsharp/fslang-design/blob/main/tooling/FST-1031-xmldoc-extensions.md)
 
 # Summary
 [summary]: #summary