Merge branch 'einhander'
authorAndrea-Paz <gamberucci.andrea@gmail.com>
Thu, 18 Jul 2019 08:35:12 +0000 (10:35 +0200)
committerAndrea-Paz <gamberucci.andrea@gmail.com>
Thu, 18 Jul 2019 08:35:12 +0000 (10:35 +0200)
commita6a12dbc76454d039b23b8a31195ed95134959ac
treec801cfc033b061d837c7bac37f11643a9c1ca5f2
parent4fad3546165124a2d190c16974aae976ca40e737
parent471afd187f407393a3a1e738b36c850a26f270e7
Merge branch 'einhander'