Ubuntu
software-properties package

  1. Bug #820150
  2. Comment #3

Comment 3 for bug 820150

Revision history for this message
Gunnar Wegner (gunnar-wegner) wrote :

I confirm what Samuel says.

I (accidentially) wanted to remove a repository while, in a terminal, i had "sudo apt-get update" running, and the source manager crashed.