Skip to content

Conversation

cmaureir
Copy link
Collaborator

Closes #2637

@cmaureir cmaureir requested a review from rtobar October 14, 2023 11:37
@cmaureir cmaureir requested a review from mmmarcos October 16, 2023 08:00
Copy link
Collaborator

@rtobar rtobar left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Mínimo detalle, voy a auto-aplicarlo y mergear

@rtobar
Copy link
Collaborator

rtobar commented Oct 17, 2023

Hice un merge de 3.12 simplemente para empezar un nuevo build -- pareciera que el RTD build anterior se quedó pegado, nunca dura 1 hora en correr...

@rtobar rtobar merged commit 2b08fc6 into 3.12 Oct 17, 2023
@rtobar rtobar deleted the whatsnew_33_fix branch October 17, 2023 12:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Translate whatsnew/3.3.po
2 participants