Skip to content

Make git revision detection optional #1219

Make git revision detection optional

Make git revision detection optional #1219