Closed jonas-schievink closed 3 years ago
The footnote should not be part of the table
bors r+
bors r-
Canceled.
Build succeeded:
The footnote should not be part of the table
bors r+