Commit b08a0ccd43bb6d5f5cc56ccbb1c5244affccf2a9

Stefan Sperling 2020-09-24T14:39:18

do not pledge 'got integrate' in a PROFILE=1 build found by jrick on freenode