1 medium onion finely minced (1 cup)

Everybody's Mushroom Gravy