wok-6.x graph
- bluez: add v4 deprecated tools2020-02-16, by Pascal Bellard
- webgames: add fr translations (again)2020-02-15, by Pascal Bellard
- webgames: add fr translations2020-02-15, by Pascal Bellard
- updated gifsicle (1.91 -> 1.92)2020-02-15, by Hans-G?nter Theisgen
- updated giac (0.9.4 -> 1.5.0.85)2020-02-15, by Hans-G?nter Theisgen