eric 18.01 has been released. It fixes a few bugs and introduces these new features.
Added thes plug-ins as core plug-ins:
NOTE: These plug-ins should be deinstalled via the plug-in uninstallation dialog of eric before upgrading eric. A reconfiguration of these plug-ins may be neccessary.
The eric team wishes everybody a 'Happy New Year'.