Measurement of the cosmic ray muon flux seasonal variation with the OPERA detector. Issue 10 (1st October 2019)