https://bugs.freedesktop.org/show_bug.cgi?id=93301
Nicolai Hähnle nhaehnle@gmail.com changed:
What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |FIXED
--- Comment #30 from Nicolai Hähnle nhaehnle@gmail.com --- This seems to be fixed. If the high memory use is still an issue some place, it seems best to open a new bug.