Repository navigation

force_refresh also rebuilds the cached Owlery id list - #126

Open

Robbie1977 wants to merge 2 commits into

mainfrom

fix/force-refresh-reaches-owlery-ids

Open

force_refresh also rebuilds the cached Owlery id list#126
Robbie1977 wants to merge 2 commits into
mainfrom
fix/force-refresh-reaches-owlery-ids

Commits on Oct 12, 2026
- force_refresh now rebuilds the cached Owlery id list as well as the result
  Robbie1977
  committed
  553c7a1
- CACHING.md: don't claim a release number for the fix
  Robbie1977
  committed
  49ab55d