rename the Global Workspace "Public" #1010

3AD · 2015-03-11T13:36:27Z

Pour simplifier la compréhension des espaces de travail il faudrait remplacer Global par Public

Alexandru-Dobre · 2016-01-07T14:08:36Z

Done

3AD · 2016-01-07T14:10:26Z

:)

3AD added Bug enhancement labels Mar 11, 2015

3AD added this to the 3.2 milestone Mar 11, 2015

goncalvesm modified the milestones: 3.3, 3.2 Aug 21, 2015

dfanchon assigned Alexandru-Dobre Dec 2, 2015

Alexandru-Dobre added the To test label Jan 7, 2016

Alexandru-Dobre assigned 3AD and unassigned Alexandru-Dobre Jan 7, 2016

3AD closed this as completed Jan 15, 2016

3AD changed the title ~~Wording remplacer Global par Public~~ rename the Global Workspace "Public" Jan 21, 2016

Provide feedback