Re: [Rawhide] gawk API changes heads up

2017-11-01 Thread David Kaspar [Dee'Kej]
Thanks for the info. In that case there's nothing holding me from doing the rebase (I'm already in contact with gawk extensions developer). My guess is that the new gawk version will land in Rawhide tomorrow then. Best regards, David Kaspar [Dee'Kej] *Associate Software Engineer* *Brno, Czech Rep

Re: [Rawhide] gawk API changes heads up

2017-10-31 Thread Pavel Raiskup
On Tuesday, October 31, 2017 2:56:59 PM CET David Kaspar [Dee'Kej] wrote: > Hello folks! :) > > The new major version of GNU awk (gawk) was released recently, and this > version introduced a new API (version 2.0). I want to give all of you a > heads up that I'm planning to do a rebase in Rawhide n

[Rawhide] gawk API changes heads up

2017-10-31 Thread David Kaspar [Dee'Kej]
Hello folks! :) The new major version of GNU awk (gawk) was released recently, and this version introduced a new API (version 2.0). I want to give all of you a heads up that I'm planning to do a rebase in Rawhide next week (probably on Tuesday, November 7th, if everything goes OK). If you have an