webkitgtk-sharp3 (2.0.0+git20151221-3) unstable; urgency=medium * Clean up patch headers. * Unbreak parallel build. -- Andrew Shadura <email address hidden> Mon, 18 Jan 2016 19:23:48 +0100