mirror of
https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
synced 2026-02-14 03:14:48 -05: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>