Hi, OLPC are starting to look at F18. Things look surpisingly good, but one thing we're missing at the moment is a recent webkitgtk3 build. This is https://bugzilla.redhat.com/show_bug.cgi?id=843428 I have a fix, but I can't test it since the tree is currently broken: something pulls in source-highlight, but that package hasn't yet been rebuilt for the new boost version. If source-highlight-3.1.6-3.fc18 were to be built in koji, the problem would be solved. However, this hasn't happened yet - after a few days of waiting. If someone could have a manual poke-around (if not doing so already) that would be much appreciated. Daniel _______________________________________________ arm mailing list arm@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/arm
