pism/pism — comment on commit ca98e226dbfa3279176ca902a8cb49db1d298c13
File: src/base/util/pism_options.cc line 872
By talbrecht:

I see, sorry. I thought it might be some redundant code lines... It will be reverted accordingly tomorrow.