#5708: a bit of streamlining in unicode_repeat().
1 file changed