[mlir][doc] Trim summary text during DocGen#68477
Merged
rikhuijzer merged 2 commits intollvm:mainfrom Oct 13, 2023
rikhuijzer:rh/trim-summary
Merged
[mlir][doc] Trim summary text during DocGen#68477rikhuijzer merged 2 commits intollvm:mainfrom rikhuijzer:rh/trim-summary
rikhuijzer merged 2 commits intollvm:mainfrom
rikhuijzer:rh/trim-summary