[Gretl-users] v0.3 of PanelTools out now