change dot-separated time style again (#9493)
authored by samuel.fm and committed by GitHub 3 months ago c68e5e82 8637ba75