Releases 2020

The following releases were done in 2020: