Merge remote-tracking branch 'origin/pr/3'

This commit is contained in:
Tony Garnock-Jones 2023-10-18 22:24:05 +02:00
commit 02a7b88946
1 changed files with 1 additions and 1 deletions

View File

@ -3,7 +3,7 @@
; ;
let ?basic = <* $config [<or [ let ?basic = <* $config [<or [
<rewrite <require-service ?s> <require-basic-service $s>> <rewrite <require-service ?s> <require-basic-service $s>>
<filter _> <accept _>
]>]> ]>]>
; Give meaning to `require-basic-service`: it is an ordinary `require-service`, plus a ; Give meaning to `require-basic-service`: it is an ordinary `require-service`, plus a