Very low priority indeed. I wonder if the force-refresh hack we do in other places would be enough here (also, shouldn’t be too hard to do in a pull request ;))
Very low priority indeed. I wonder if the force-refresh hack we do in other places would be enough here (also, shouldn’t be too hard to do in a pull request ;))