Commit 501ed75806693ab9b206cbea99fa3094be0586c9

Authored by Georg Hopp
1 parent 1fd3515d

Add missing build time header to EXTRA_DIST

3 builds in 1 minute 2 seconds
Status Build ID Ref Stage Name Duration Finished at
 passed 1.0.0 build build
26 seconds
 passed v1.0.0 build build
25 seconds
 passed v1.0.0 deploy dist
11 seconds