diff --git a/index.bs b/index.bs index e8ed6ff5..a4c435ae 100644 --- a/index.bs +++ b/index.bs @@ -5443,19 +5443,19 @@ Appendix A: Retired Terminology Amended Recommendation (retired term)