Hello gedit folks,
Just noticed that the Session Saver plugin was dropped[1] back in Nov 2012. I like this plugin and I'd like to try to fix it. Is there a list of issues somewhere (or should I just try it with gedit 3.8 / Python 3 and it will be obvious)? I found one issue in bugzilla[2], but it looks like a list of improvements only and the patch is 3 years old.
