Linux Mint

  1. Bug #662554
  2. Comment #10

Comment 10 for bug 662554

Revision history for this message
Daniel Peterson (texlend) wrote :

It did happen after an upgrade. How do you reverse it? Is there a system restore setting?