Bump book/external/teachbooks-sphinx-tippy from a80e764 to 3f9a5c2

Bumps [book/external/teachbooks-sphinx-tippy](https://github.com/TeachBooks/teachbooks-sphinx-tippy) from `a80e764` to `3f9a5c2`.
- [Release notes](https://github.com/TeachBooks/teachbooks-sphinx-tippy/releases)
- [Commits](a80e7645bc...3f9a5c2a72)

---
updated-dependencies:
- dependency-name: book/external/teachbooks-sphinx-tippy
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
This commit is contained in:
dependabot[bot] 2024-12-31 13:12:46 +00:00 • committed by GitHub
parent 5b4696f67c
commit 50dcfa15c4
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

@ -1 +1 @@
Subproject commit a80e7645bc5a377b3c75befdf29eb67934bb9ab7
Subproject commit 3f9a5c2a72607d5e32c3a99649f37a5e6548e92a