Bug#309036: unison-gtk: skip button doesn't allow for repeated clicks [FIXED]

[nodiscc <nodiscc@gmail.com>]

This is not reproducible anymore in unison-gtk 2.40.65-1.

This bug is fixed by unison 2.13.0:

> Changes since 2.12.0:
> * User interface changes:
>  * Improved workaround for button focus problem (GTK2 UI)

(from
http://www.cis.upenn.edu/~bcpierce/unison/download/releases/beta/unison-manual.html#news)

This should be marked as fixed.

Thanks