Bug#894210: libisl transition

[Matthias Klose]

Package: release.debian.org
Severity: normal
User: release.debian....@packages.debian.org
Usertags: transition

Not really a transition, but binNMUs for two packages should be done:

  gcc-arm-none-eabi
  gcc-mingw-w64