Merge topic branch 'embedded-wishlist' into master
Marco Ricci

Marco Ricci commited on 2025-06-09 22:40:12
Zeige 0 geänderte Dateien mit 0 Einfügungen und 0 Löschungen.


* embedded-wishlist:
  Fix outdated MkDocs settings and dead outbound links
  Reserve the "jvm" local version identifier
  Embed our "wishlist" branch in the documentation