Public Git Hosting - phpmyadmin.git/commit

commit	07138bdd054adca0d007db417844ca4c8f4bb69e
author	Maurício Meneghini Fauth <mauricio@fauth.dev>
	Tue, 17 Oct 2023 03:24:51 +0000 (17 00:24 -0300)
committer	GitHub <noreply@github.com>
	Tue, 17 Oct 2023 03:24:51 +0000 (17 00:24 -0300)
tree	dfbca29cd55b8746ceb274f2990179f624c44e82	tree \| snapshot (tar.gz zip)
parent	6b610532920700cdadbc4b89ee61bb0efe69125b	commit \| diff
parent	033c26e115f7e0cd238779e7bb9b3f74f78f244f	commit \| diff

Merge pull request #18744 from MauricioFauth/build.xml-removal

Remove Jenkins build.xml