Can someone please commit ticket 22512? I have a diff attached that should fix geda-gaf's problem. Mark