Use actual PR summaries instead of bors placeholders when listing them#379
Open
moxian wants to merge 3 commits into
Open
Use actual PR summaries instead of bors placeholders when listing them#379moxian wants to merge 3 commits into
moxian wants to merge 3 commits into
