Ubuntu Release Management

Transitions → php7.2-rm

Parameters:
Notes:
https://bugs.debian.org/906643
Filter by status: good bad unknown