Commit 3834c11c authored by decentral1se's avatar decentral1se

Merge branch 'tomd-add-public-key' into 'master'

Add tomds ssh identity

See merge request !8
parents cf031707 beda3bca
Pipeline #3190 passed with stage
in 6 minutes