From d9201d2c7e0b00d7cc1d8ea164c5b63c2f50942d Mon Sep 17 00:00:00 2001
From: Brian O'Connor <gatzby3jr@gmail.com>
Date: Sun, 29 Jan 2023 12:30:25 -0500
Subject: [PATCH] Change PumpingFilter to be TagFilter

---
 core/filters.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core/filters.py b/core/filters.py
index a2358c93..34a2de16 100644
--- a/core/filters.py
+++ b/core/filters.py
@@ -51,7 +51,7 @@ class NoteFilter(TagFilter):
         fields = ["child"]
 
 
-class PumpingFilter(django_filters.FilterSet):
+class PumpingFilter(TagFilter):
     class Meta:
         model = models.Pumping
         fields = ["child"]