This GitLab instance has migrated as of Nov-5-2022 to a new server: hardware, OS, SSH key
The v3.20a development branch has now been merged to the master branch. Sysops upgrading from earlier versions must run 'jsexec update'
non-deleted and active user records. Renamed the old "User List" menu option: "List All User Records" The online help probably needs fixing now: TODO