watchFragment: forward additional options to diffOptions#11926
Merged
alessbell merged 6 commits intorelease-3.11from pr/watchFragment-otherOptionsJul 10, 2024
+111-3
watchFragment: forward additional options to diffOptions#11926
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&size=32){kind=avatar}