Did anyone develop diverticulitis in conjunction with Covid? This happened to me two months ago, towards the end of my first bout with Covid. I've read there is some correlation. And boy, did it suck!