Comment 2 for bug 1223623

Revision history for this message
cowwoc (gili) wrote :

Nevermind, this is not a bug. It was caused by my misunderstanding of how update-alternatives works. If anyone else runs into this problem, please see http://askubuntu.com/a/344334/23678 for a solution.

(You can close this bug, sorry for the false alarm)