[web-bluetooth] Pull Request: Replace "non-`null`" with "not `null`" from Reilly Grant via GitHub on 2018-05-09 (public-web-bluetooth-log@w3.org from May 2018)

From: Reilly Grant via GitHub <sysbot+gh@w3.org>
Date: Wed, 09 May 2018 17:41:19 +0000
To: public-web-bluetooth-log@w3.org
Message-ID: <pull_request.opened-186991629-1525887678-sysbot+gh@w3.org>

reillyeon has just submitted a new pull request for https://github.com/WebBluetoothCG/web-bluetooth:

== Replace "non-`null`" with "not `null`" ==
Bikeshed compilation fails when encountering the former with,

"Unknown inline tag: non-`null`"

Replacing this with "not `null`" does not change the meaning.

See https://github.com/WebBluetoothCG/web-bluetooth/pull/396

Received on Wednesday, 9 May 2018 17:41:28 UTC