I saw that next spice-server version will fix many things including some memory leak. Since last stable version (0.12.4) there are over 10 months I'm wondering what is the extimate release date of the next version. Thanks for any reply and sorry for my bad english.