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