Ben Hutchings wrote: > This is definitely worthwhile but it does involve an ABI bump. So we > will probably wait for a convenient time to do that. I saw that you (well, maks) just bumped the ABI to -5. Ping? :)
Thanks, Faidon -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
