Douwe Maan 7cc734a217 Merge branch '28694-hard-delete-user-from-api' into 'master' ... Allow users to be hard-deleted from the API See merge request !11853		2017-06-02 20:48:40 +00:00
..
account	Merge branch '28694-hard-delete-user-from-api' into 'master'	2017-06-02 20:48:40 +00:00
preferences.md	Change ‘Project view’ label to ‘Project home page content’	2017-05-23 16:05:35 +01:00