3/4 teaspoons teaspoon salt

Pumpkin Gratin