(hard_locale): Revert last change -- it was simply wrong. That set_locale call must not have any side effects. From Paul Eggert.
2000-10-24T08:20:13