localtime_r: deduplicate timezone name allocation#4069

RalfJung merged 1 commit intorust-lang:masterrust-lang/miri:masterfrom

shamb0:string_deduplication_for_localtime_rshamb0/miri:string_deduplication_for_localtime_rCopy head branch name to clipboard