>>>>> "Artem" == Artem Bityutskiy <dedekind1 at gmail.com> writes: Hi, >> However, this approach is somewhat hackish anyway, and we would much >> more like to check out a version that is officially tagged. Artem> OK, I can tag them at the beginning of the next year. I'm having Artem> holydays in 10 min. Thanks - Enjoy your holidays! -- Bye, Peter Korsgaard