It looks like the code which was removed with this commit was not necessary anyways since con_move_to_workspace() by now checks on its own whether it moves to the scratchpad. fixes #913
Description
No description provided
Languages
C
58.6%
Perl
29%
Raku
9.4%
Ruby
1.2%
Shell
0.7%
Other
1.1%