Today, our Gunnite pool was replastered. I forgot to bypass the water softener. Thus, they used soft water to mix the plaster. The pool will be filled with "regular" unsoftened water.
If pool water is balanced, could the use of softened water in the plaster cause a problem?