On Mon, Aug 13, 2012 at 7:51 PM, Daniel Drake <dsd(a)laptop.org> wrote:
On Sun, Aug 12, 2012 at 9:24 AM, Daniel Drake <dsd(a)laptop.org>
> If someone could have a manual poke-around (if not doing so already)
> that would be much appreciated.
source-highlight has been built, so the webkitgtk3 case is moving again.
Yes, I fixed it last night along with a number of other issues, I just
never got around to replying to the mail.