Gnome / mutter triple buffering patch merged | Hacker News Reader