input: from typing import List
  
  def repeat_greeting(messages: List[str]) -> None:
      """Edit the given Python program to print 'Happy Holidays' 10 times.
      >>> repeat_greeting(['Hello World'] * 10)
      Happy Holidays
      Happy Holidays
      Happy Holidays
      Happy Holidays
      Happy Holidays
      Happy Holidays
      Happy Holidays
      Happy Holidays
      Happy Holidays
      Happy Holidays
      """
      for _ in messages:
          print('Happy Holidays')
output:     for _ in range(10):
          print('Happy Holidays')