Skip to content

record Git revision in devel builds #489

record Git revision in devel builds

record Git revision in devel builds #489