Fix typo #756
tobiasdiezAnnotations
2 errors and 1 warning
|
build-doc-pdf
Canceling since a higher priority waiting request for 'Build documentation (PDF)-refs/heads/typing-infinity' exists
|
|
build-doc-pdf
The operation was canceled.
|
|
build-doc-pdf
The process '/usr/bin/git' failed with exit code 128
|