Gnome / mutter triple buffering patch merged | Dark Hacker News