[gnome-sudoku] Workaround 100% CPU usage issue

[Michael Catanzaro <mcatanzaro src gnome org>]

commit f89fb33347ee21f53ca54803023d468d0e855526
Author: Michael Catanzaro <mcatanzaro gnome org>
Date:   Sat Oct 4 16:45:05 2014 -0500

    Workaround 100% CPU usage issue
    
    No clue what's going wrong here....
    
    https://bugzilla.gnome.org/show_bug.cgi?id=737507

 lib/sudoku-generator.vala |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/lib/sudoku-generator.vala b/lib/sudoku-generator.vala
index 5909ac5..e7ac71a 100644
--- a/lib/sudoku-generator.vala
+++ b/lib/sudoku-generator.vala
@@ -74,7 +74,8 @@ public class SudokuGenerator : Object
 
     public async static SudokuBoard[] generate_boards_async (int nboards, DifficultyCategory category) 
throws ThreadError
     {
-        var boards_list = new ConcurrentList<SudokuBoard> ();
+// FIXME broken: not threadsafe!
+        var boards_list = new ArrayList<SudokuBoard> ();
         var boards = new SudokuBoard[nboards];
         var threads = new ArrayList<Thread<void*>> ();