Cleaned up stale branches

FYI: The 34 e-mails with branch names just now were due to me deleting
the stale branches for pull requests that have been merged into master.

/Emil

Received on Wednesday, 12 June 2019 11:48:26 UTC