Merge branch 'ralf/docs-license' into 'master'
Put the appendix under CC-BY 4.0 The title says this all. I hereby relicense my contributions to the appendix under the CC-BY 4.0 license. For this to complete, I need similar statements from all other contributors: @robbertkrebbers @jjourdan @abizjak See merge request !16
master in 9 minutes and 21 seconds (queued for 1 second)1 job for