Hello, I was wondering about how to get around updating the version 
pointer of a package in the web repository, specifically the `gmnisrv` 
package (currently pointing to `d484ba0`).
Would I need to send a git patch or should I reach out to any maintainer 
of this list?
-- 
/ Diane