On Tue, 2025-12-30 at 13:23 +0530, Shubham Sharma wrote:

Update documentation reference to reflect the file rename.
Monitor synthesis documentation was renamed in commit f40a7c060207
("Documentation/rv: Prepare monitor synthesis document for LTL inclusion")
from da_monitor_synthesis.rst to monitor_synthesis.rst.

Signed-off-by: Shubham Sharma <redacted>

Looks good, thanks! I'm going to apply it to my tree.


Small note for next time, although it doesn't make a big difference with this
tiny patch, when you send a new version after getting a review, try to propagate
the review tag.

Simply copy:

Reviewed-by: Gabriele Monaco <gmonaco@redhat.com>

(or whoever reviewed/acked) before the signoff in the commit message.
This helps when reviewing larger series and when using tools like patchwork.

(now you don't need to do it, most tools will pick it from this answer)

Thanks,
Gabriele