Commit 21da565b authored by mh's avatar mh

Merge branch 'php' into 'master'

add a php script to fetch the key from the server

See merge request !2
parents e3224b5d d660787c
Pipeline #3734 passed with stages
in 2 minutes and 49 seconds