We haven't integrated from unstable into kiel for ages. How about marking
it as stable?

Maciej

Reply via email to