Merge pull request #33 from rogerpueyo/master
authorMoritz Warning <moritzwarning@web.de>
Tue, 7 Apr 2020 13:27:39 +0000 (15:27 +0200)
committerGitHub <noreply@github.com>
Tue, 7 Apr 2020 13:27:39 +0000 (15:27 +0200)
Catalan strings


Trivial merge