Fix a small issue with processing the build-server-urls
This commit is contained in:
parent
1241726162
commit
5894f05147
1 changed files with 1 additions and 1 deletions
|
|
@ -1501,7 +1501,7 @@ figure {
|
||||||
header-link)
|
header-link)
|
||||||
(define substitute-availability-options
|
(define substitute-availability-options
|
||||||
(map (match-lambda
|
(map (match-lambda
|
||||||
((id url)
|
((id . url)
|
||||||
(cons url id)))
|
(cons url id)))
|
||||||
build-server-urls))
|
build-server-urls))
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue