- From: Anne van Kesteren <notifications@github.com>
- Date: Thu, 14 Oct 2021 23:48:24 -0700
- To: whatwg/webidl <webidl@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Friday, 15 October 2021 06:48:36 UTC
@bathos could you file a follow-up issue on that? It sounds like a good first step there would also be to first go back to a single place (and ensure that is correct) and then perhaps later opt for annotations in other sections. And perhaps we should take this as a sign that if we duplicate the information again there should be more editor guidance in the source to ensure the various bits are kept synchronized (or we try to automate it somehow). -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/whatwg/webidl/pull/940#issuecomment-944044317
Received on Friday, 15 October 2021 06:48:36 UTC