Re: [dev] [surf] [PATCH] improve title change handling

From: Quentin Rameau <>
Date: Mon, 10 Feb 2014 00:13:18 +0100

Here is another patch, I'm not sure we should handle multiple versions
of webkitgtk. But as this bug is corrected in newer (recent, stable)
versions of webkitgtk, should we remove the needless workaround and
assume user has a valid version of webkitgtk ?

Received on Mon Feb 10 2014 - 00:13:18 CET

This archive was generated by hypermail 2.3.0 : Mon Feb 10 2014 - 00:24:09 CET