1 1/4 teaspoons salt or to taste

Indian Mashed Potatoes