Auto merge of #3865 - Mandragorian:doc_fixes_pthreads, r=RalfJung #8718
ci.yml
on: push
Matrix: build
style checks
2m 39s
bors build finished
0s
bors build finished
0s
cronjob failure notification
0s