diff options
| author | 2022-09-27 10:55:53 -0700 | |
|---|---|---|
| committer | 2022-09-27 10:55:53 -0700 | |
| commit | 3722744600ce16105f8acc94ec0023485f7bde66 (patch) | |
| tree | 8e217cad160a8b4d95672d53141c3c3c5e251092 /srfi-225.html | |
| parent | Add notice about further edits. (diff) | |
Publish new "final" version.
Diffstat (limited to 'srfi-225.html')
| -rw-r--r-- | srfi-225.html | 19 |
1 files changed, 11 insertions, 8 deletions
diff --git a/srfi-225.html b/srfi-225.html index f1112bd..5c84307 100644 --- a/srfi-225.html +++ b/srfi-225.html @@ -22,14 +22,17 @@ <li>Draft #4 published: 2021-10-29</li> <li>Draft #5 published: 2021-11-13</li> <li>Draft #6 published: 2022-03-16</li> - <li>Finalized: 2022-09-19</li> - <li><b>Please note:</b> While this SRFI has been finalized, it is - still in flux. I (Arthur, the editor) made a mistake and didn't - publish a new draft before finalization even though there had been - substantial changes since the previous draft. One reviewer - expressed concerns, so I'm allowing further edits. This is - strictly an exception to the normal procedure because of my - mistake.</li> + <li>Finalized: 2022-09-27</li> + <li><b>Note:</b> This SRFI was originally finalized on 2022-09-19, + but a reviewer pointed out that substantial changes had been made + between draft #6 and the finalized version. Normally, an + intevening draft would have been published, giving reviewers time + to discuss the changes. Therefore, the editor published and + announced a new version based on John's edits in response to + comments on the "final" version. Now that a week has passed, + we're declaring this revised version to be the final version. + This is strictly an exception to the normal procedure because of + the editor's mistake.</li> </ul> <h2 id="abstract">Abstract</h2> |
