20 juli var också en stor helgdag.