Prepare for release 0.5.2#47

edsko merged 2 commits intomainwell-typed/recover-rtti:mainfrom

edsko/0.5.2well-typed/recover-rtti:edsko/0.5.2Copy head branch name to clipboard