Freeze analysis.normed.group.basic

Stream: general

[Yaël Dillies]

Please anyone tell me when a PR touches file#analysis/normed/group/basic. I just opened #15705 and the diff is... the entire file. Thanks! :smiley:

[Yaël Dillies]

Let me remind everyone of :point_up:, because @Anatole Dedecker just PRed something there.

[Patrick Massot]

Asking for a three weeks freeze isn't reasonable.

[Yaël Dillies]

That's why I only asked to be informed of the PRs :smile:

[Jireh Loreaux]

Thread title was a bit misleading then, but I understand.

[Yaël Dillies]

I was phrasing it strongly to catch attention and also because "not quite a freeze but please keep me in the loop" was a moutful :grinning:

[Jireh Loreaux]

@Yaël Dillies FYI #16255

[Yaël Dillies]

Thanks! That should be fine with my stuff.