Release type: patch

Add quoting to `devserver-global` target in Makefile, fixes #3072