Jani Juvan authored 1 year ago and Andreas Gnau committed 1 year ago

See the second parent of this commit (the merged commit) for details on
the how and why.