On Fri, 25 Aug 2023, Tobias Burnus wrote: > It also fixes a couple of bugs and adds links providing more details > for two items (a PR link as in libgomp.texi and a section in the manual).
Nice changes, thanks. + <td>Some are only stubs; see manual (<a Maybe "see the manual"? Gerald
