[reclaim-ui] 141/459: Merge branch 'master' into 'master'

[gnunet]

This is an automated email from the git hooks/post-receive script.

martin-schanzenbach pushed a commit to branch master
in repository reclaim-ui.

commit 812eb8922920b800d74b65d98ff6ce81036f4e23
Merge: 74d4f4c 9c42d50
Author: Martin <mschanzenbach@posteo.de>
AuthorDate: Fri Jul 19 09:41:14 2019 +0000

    Merge branch 'master' into 'master'
    
    fix for issue #16
    
    See merge request reclaimid/ui!12

 src/app/identity-list/identity-list.component.html | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

-- 
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.