@jwildeboer I understand that it's frustrating if a maintainer doesn't get around to your PR quickly, but why delete it? If the maintainer gets around to it he can still proceed how they want. But as a maintainer I don't expect a contributor to still be around if a lot of time has passed.
In your specific case it's even more frustrating as the change is really small, but as a lot of maintainers do this in their spare time I don't think it's too much asked to just be patient.