Closed andre-richter closed 6 years ago
[^1] Should result in a footnote on gitbooks.
I updated that. For convenience I use the website for these reviews. Feel free to squash the commits.
Thanks!
bors r+
:-1: Rejected by too few approved reviews
[^1] Should result in a footnote on gitbooks.