Gervasio fue ejecutado, también como su predecesor Hugo de Saint Omer.