Ubuntu
linux package

  1. Bug #1495112
  2. Comment #14

Comment 14 for bug 1495112

Revision history for this message
mash (mash-econs) wrote :

Apparently resolved on my upgrade to 15.10 today. Thank you, team.