rollups: don't print 'Failed merges:' if there no failed merges#190
Merged
jyn514 merged 1 commit intorust-lang:masterfrom May 18, 2023
Merged
rollups: don't print 'Failed merges:' if there no failed merges#190jyn514 merged 1 commit intorust-lang:masterfrom
jyn514 merged 1 commit intorust-lang:masterfrom