Changelog 1.93.0 (2023-11-29)# Features# remove generation of Safe-DS stubs (#1396) (59a555b) 1.92.2 (2023-04-20)# Bug Fixes# update NPM dependencies (9f36807) 1.92.1 (2023-03-24)# Bug Fixes# copy to clipboard did not always work (#1298) (863b373), closes #1297 issue URLs (#1296) (d6959eb)