Disable rich navigation (#184949)

This commit is contained in:
Dirk Bäumer
2023-06-12 21:28:57 +02:00
committed by GitHub
parent 6178b02e76
commit 4558410d11