[R] Vergrabenes Relikt austauschen funktioniert nicht

[Gast]

wenn du auch sonst sehr oft F5 brauchst, dann wird das vermutlich auch hier helfen. Ich habe das zwar sehr selten, aber ab und zu beim Austauschen von vergrabenen Relikten muss ich auch neu laden

[Gast]

OK. Habe das jetzt noch mal getestet: Es hängt tatsächlich mit dem anderen Bug zusammen. Wenn ich auf F5 gehe, funktioniert es wieder.
Damit hat sich dieser Bug erledigt