I discovered the issue when I reported an adblock filter list that broke a site. The issue was fixed within minutes, but the broken filter list is still being

I discovered the issue when I reported an adblock filter list that broke a site. The issue was fixed within minutes, but the broken filter list is still being served. Thankfully, it turned out to be a bug.