[ jEdit-devel ] Sessions 0.7.3: just bugfix

[Sergey V. U. <ser...@cl...>]

Hi all

As I mentioned yesterday, I found the horrible bug which I introduced in
0.7.2 of the Sessions plugin. Anyone using 0.7.2 is strongly recommended
to 0.7.3. The cvs tag is sessions_0_7_3.

Actually I am really glad 0.7.2 is not in the PC yet:)

Regards,

Sergey