Mon, 11 Jul 2016 23:35:43 +0200adding decl supplements
Volker Birk <vb@pep-project.org> [Mon, 11 Jul 2016 23:35:43 +0200] rev 1
adding decl supplements