Skip to content

A quick pull request of two neat commits till Monday

Ole Christian Eidheim requested to merge eidheim:master into master

If ok, could we merge these two commits before Monday morning?

Merge request reports