December 23rd, 2012, 05:33 PM
Join Date: Sep 2010
Location: Xilinhot, China
Device(s): Oppo Find 7a, Samsung Galaxy Win Duos(spare), Lenovo P700i(retired), KIRF Galaxy Note(deceased)
Carrier: China Mobile
Thanked 2,851 Times in 2,059 Posts
Originally Posted by moodyblues
No, not Linus! He's quite busy enough cranking out new kernels and such.
But there are bug reporting resources for just about everything. Here are a few, not just for you but for others who may be interested:
Linux Mint bugs
As I said before, if no one's aware that there's a particular problem, it'll never get fixed; if no one's aware that something's missing, it'll never get added. So if there's something that doesn't work as you expect, please report it!
Actually last night I did encounter a bug with the Banshee music manager & media player on Linux Mint not playing music. It's been known for four years.
...but was marked as "fixed" two years ago.
Has to do with Banshee's database becoming corrupted or something. Solution is to delete the database and re-import the music library.
I'm currently awaiting membership of Gnome Bugzilla, so I can re-report it with the appropriate terminal logs and version numbers.
The People's Guide
to Android in the People's Republic.
Honorary Grand Poobah Shenzhen University English Corner.
There are nine million bicycles in Beijing.
There are nine million Androids in Shenzhen.
Last edited by mikedt; December 23rd, 2012 at 05:46 PM.