bin/prioritize-build-list -d should not increase priority of failed builds - builder

Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.

diff options

author	Erich Eckner <git@eckner.net>	2019-06-15 19:35:04 +0200
committer	Erich Eckner <git@eckner.net>	2019-06-15 19:35:04 +0200
commit	d1100aebc3513a6e3044944afcca7b4e567378c2 (patch)
tree	1954cbf770599e1f7b4942877a0c3d1fbc89de8e /misc
parent	c6c725b287e2edddc78047f6ef66d6adbdd9cedc (diff)

bin/prioritize-build-list -d should not increase priority of failed builds

Diffstat (limited to 'misc')

0 files changed, 0 insertions, 0 deletions