It certainly was dropped completely, since it's no longer in debian/patches/00list. I'm repairing it now.
It certainly was dropped completely, since it's no longer in debian/ patches/ 00list. I'm repairing it now.