Thu, 30 Jan 2020 17:35:53 +0100doc sync
Volker Birk <vb@pep-project.org> [Thu, 30 Jan 2020 17:35:53 +0100] rev 4380
doc

Thu, 30 Jan 2020 17:33:12 +0100adding documentation sync
Volker Birk <vb@pep-project.org> [Thu, 30 Jan 2020 17:33:12 +0100] rev 4379
adding documentation

Thu, 30 Jan 2020 15:36:24 +0100disable sync in any case sync
Volker Birk <vb@pep-project.org> [Thu, 30 Jan 2020 15:36:24 +0100] rev 4378
disable sync in any case

Thu, 30 Jan 2020 14:52:18 +0100make leave_device_group() harmless sync
Volker Birk <vb@pep-project.org> [Thu, 30 Jan 2020 14:52:18 +0100] rev 4377
make leave_device_group() harmless

Thu, 30 Jan 2020 13:21:43 +0100merging sync
Volker Birk <vb@pep-project.org> [Thu, 30 Jan 2020 13:21:43 +0100] rev 4376
merging

Thu, 30 Jan 2020 13:21:30 +0100disable_identity_for_sync() sync
Volker Birk <vb@pep-project.org> [Thu, 30 Jan 2020 13:21:30 +0100] rev 4375
disable_identity_for_sync()

Thu, 30 Jan 2020 12:57:23 +0100enable_identity_for_sync() sync
Volker Birk <vb@pep-project.org> [Thu, 30 Jan 2020 12:57:23 +0100] rev 4374
enable_identity_for_sync()

Thu, 30 Jan 2020 12:36:10 +0100Remove redundant documentation sync
Damiano Boppart <damiano.boppart@pep.security> [Thu, 30 Jan 2020 12:36:10 +0100] rev 4373
Remove redundant documentation

Thu, 30 Jan 2020 11:23:11 +0100documentation sync
Volker Birk <vb@pep-project.org> [Thu, 30 Jan 2020 11:23:11 +0100] rev 4372
documentation

Thu, 30 Jan 2020 11:00:28 +0100more readable sync
Volker Birk <vb@pep-project.org> [Thu, 30 Jan 2020 11:00:28 +0100] rev 4371
more readable