Revert "Merge branch 'master' of https://github.com/DTLT/dooo"

This reverts commit bad8e037925202a3770de14e85d83b8ba82e184c, reversing
changes made to 1076b5495a568c44ce89a552c0d26192cf513ae4.