РФ. Когда на работу 10 июня 2019 или 13?

Как это, возможно для кого-то, не парадоксально прозвучит, но и 10, и 13 июня будут трудовыми буднями: 10-е число - это понедельник, а 13-е, соответственно, четверг. А праздничный день 12 июня в 2019 году пришелся аккурат на середину недели и правительство сочло, что никаких переносов, как-то связанных с этой датой, делать не будет: после парочки выходных (8 и 9 июня) придется выйти на работу 10 и 11 числа, потом денек попраздновать 12 июня и вновь на работу, но уже 13-го. Так что после выходных в июне придется идти на работу и 10-го, и 13-го числа. Без вариантов. Правда может порадовать то, что 11-го числа будет сокращенный рабочий день - на час короче.