On Sat, Sep 20, 2014 at 04:00:36PM +0200, Kalev Lember wrote:
> What are your opinions?
gedit-collaboration should probably be retired in F21+. It's largely
unmaintained upstream and doesn't work with latest gedit anyway.
Nacho, any opinions?
If gedit-collaboration can be retired, we can move forward with this. If
I get a go-ahead, I will do the retirement.