Hi, I installed io Gnu/Linux on harddrive and now the updates don't work anymore. Debian released version 10 stable in Juli, have I to switch the repos to this version? And how do I do this best?