mirror of
https://github.com/torvalds/linux.git
synced 2026-04-18 06:44:00 -04:00
The file 'da_monitor_synthesis.rst' was renamed to 'monitor_synthesis.rst' in commitf40a7c0602("Documentation/rv: Prepare monitor synthesis document for LTL inclusion"). Signed-off-by: Soham Metha <sohammetha01@gmail.com> Fixes:f40a7c0602("Documentation/rv: Prepare monitor synthesis document for LTL inclusion") Acked-by: Gabriele Monaco <gmonaco@redhat.com> Signed-off-by: Jonathan Corbet <corbet@lwn.net> Message-ID: <20251204032452.9523-1-sohammetha01@gmail.com>