Project 'python-team/modules/python-datrie' was moved to 'python-team/packages/python-datrie'. Please update any links and bookmarks that may still have the old path.
The source project of this merge request has been removed.
Fix build with recent hypothesis version.
Fix pulled from Ubuntu, courtesy Matthias Klose
