Skip to content

Conversation

@mbovel
Copy link
Member

@mbovel mbovel commented Feb 8, 2022

No description provided.

@mbovel mbovel mentioned this pull request Feb 8, 2022
@som-snytt
Copy link
Contributor

Sorry I was too slow. My PR is only a partial reversion. :) Sorry for the detour.

#14437

@mbovel
Copy link
Member Author

mbovel commented Feb 8, 2022

No problem! So should I keep this PR or yours?

@mbovel mbovel closed this Feb 8, 2022
@som-snytt
Copy link
Contributor

I kept the precious quiet then, in case I forgot to reapply the change in future. (Knowing I wouldn't remember after more months is why I made the change now.)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants