fix issue of not listing new JTCs (backport #1891)#1969
Merged
christophfroehlich merged 1 commit intojazzyfrom Oct 17, 2025
Merged
fix issue of not listing new JTCs (backport #1891)#1969christophfroehlich merged 1 commit intojazzyfrom
christophfroehlich merged 1 commit intojazzyfrom
Commits
Commits on Oct 17, 2025
- authored andcommitted
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&size=32){kind=avatar}