osmith abandoned this change.

View Change

Abandoned

As discussed with Pau, changing the default to debian13 now in https://gerrit.osmocom.org/c/docker-playground/+/41839. A similar patch to this one might be useful if we have to switch some back to 12 in case there are regressions.

To view, visit change 41838. To unsubscribe, or for help writing mail filters, visit settings.