Merge pull request #855 from MrPetovan/task/remove-fortunate
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Thu, 9 May 2019 16:05:38 +0000 (18:05 +0200)
committerGitHub <noreply@github.com>
Thu, 9 May 2019 16:05:38 +0000 (18:05 +0200)
Deprecate fortunate


Trivial merge