New upstream release for PHP Parallel Lint
Closed, ResolvedPublic
Actions

Assigned To

Authored By

	LibUp-bot
	Mar 28 2024, 1:05 PM

Description

Dear maintainer,

A new upstream version of PHP Parallel Lint is now available: 1.4.0.

	Subject	Repo	Branch	Lines +/-
	build: Update php-parallel-lint/php-parallel-lint to 1.4.0	mediawiki/core	master	+2 -1
	releases: Bump php-parallel-lint/php-parallel-lint to 1.4.0	labs/libraryupgrader/config	master	+1 -1

LibUp-bot subscribed.

Change #1015205 had a related patch set uploaded (by Reedy; author: Reedy):

[labs/libraryupgrader/config@master] releases: Bump php-parallel-lint/php-parallel-lint to 1.4.0

Change #1015440 had a related patch set uploaded (by Reedy; author: Reedy):

[mediawiki/core@master] build: Update php-parallel-lint/php-parallel-lint to 1.4.0

Change #1015205 merged by jenkins-bot:

[labs/libraryupgrader/config@master] releases: Bump php-parallel-lint/php-parallel-lint to 1.4.0

Change #1015440 merged by jenkins-bot:

[mediawiki/core@master] build: Update php-parallel-lint/php-parallel-lint to 1.4.0

Jdforrester-WMF assigned this task to Reedy.