"src/util.h" did not exist on "1a4864e4e8748fdacbde09cc03154d268897358a"

Merge branch '21pesi1bif-master-patch-44214' into 'master'

Update public/index.html

See merge request !7
2 jobs for master in 5 seconds (queued for 2 seconds)