-- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
I tried reproducing the bug using python-gpsversion 3.6-4+deb7u1 and did
not observe the segfault. It looks like this bug is fixed in current
version. Should it be closed?

