Por este motivo, según la instrucción de Presidencia del Gobierno, además del minuto de silencio en todas las dependencias oficiales, se determina que las banderas ondearán a media asta en todos los edificios públicos, desde las 12:00 horas del día 20 de diciembre hasta las 09:00 horas del día 22 de diciembre de 2016.