Re: [sensors] editorial: Export "sensor reading" <dfn>. (#456)

@anssiko do you know if there's a way to trigger a new build of without landing a change there? The `<dfn>` is being exported here, but the HTML page being served is still from last year.

GitHub Notification of comment by rakuco
Please view or discuss this issue at using your GitHub account

Sent via github-notify-ml as configured in

Received on Friday, 27 January 2023 14:21:20 UTC