number of unported dependencies

Stream: mathlib4

[Rémy Degenne]

The number of unported dependencies reported on the page https://leanprover-community.github.io/mathlib-port-status/file/measure_theory/measure/ae_measurable nearly doubled between yesterday (was a bit over 30) and now (62). Does anyone know what changed?

[Rémy Degenne]

I think I found the reason: the recently merged PR #18404 just added an import of topology.algebra.algebra to the file analysis/specific_limits/basic.lean

[Rémy Degenne]

I was simply curious. We have to port everything anyway, so I guess it does not matter much.