[Mlir-commits] [mlir] [MLIR] Fix documentation generation for DLTI dialect. (PR #97052)

[Renato Golin]

rengolin wrote:

Technically you only need one approval, but it's usually good to wait a day to make sure there are no additional concerns. We can always do post-commit review if anyone finds something wrong after merge, and can either land a fix or revert for further investigations.

In this case, it should be safe to merge (no bots will break) and it's easy to fix later (another doc patch).

https://github.com/llvm/llvm-project/pull/97052