[Openmp-dev] [cfe-dev] Bugzilla migration is stopped again

[Anton Korobeynikov via Openmp-dev]

> > 4) so if any of the links are wrong in the 1300 then we can't do anything with them other than correct by hand? (is that correct?)
> Likely. GitHub engineers are still investigating what are the options here.
I've been told that the bug was fixed at the GitHub side. After
checking we might proceed with the migration.

-- 
With best regards, Anton Korobeynikov
Department of Statistical Modelling, Saint Petersburg State University