@thor @seph Shouldn’t we remove 5.2.0 and wait for 5.2.1 since it’s not stable yet? Also weren’t we uploading packages in the various distribution channels after it was marked as stable?