Skip to content

WIP: Table of Contents review

Jure requested to merge tableofcontents into master

This is not a PR meant to be merged, but more of a way to have comments on the implementation in a single place, as opposed to being distributed across many threads.

Merge request reports