Commit 7b864c26 authored by noplanman's avatar noplanman
Browse files

Merge branch 'bump_deps' into 'develop'

Bump OTPHP to 10.0 and apply necessary fixes, require PHP 7.2

See merge request !14
parents d0d70729 53145b54
Pipeline #4507 passed with stage
in 28 seconds