Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/init.php
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2019-07-28 20:09:41 +0200
committerErich Eckner <git@eckner.net>2019-07-28 20:09:41 +0200
commitb140469ccd17d0eead00f766a251cb824de5a520 (patch)
tree400959588d0888847209ac0d1174bbee907c5fd7 /init.php
parent2fe6e5380f561377ec1b7cf0c6f1fda4c2680f7d (diff)
buildmaster/build-list.php: repair type of `is_blocked`
Diffstat (limited to 'init.php')
0 files changed, 0 insertions, 0 deletions