diff options
| author | Erich Eckner <git@eckner.net> | 2019-07-28 20:09:41 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-07-28 20:09:41 +0200 |
| commit | b140469ccd17d0eead00f766a251cb824de5a520 (patch) | |
| tree | 400959588d0888847209ac0d1174bbee907c5fd7 /mirrors.php | |
| parent | 2fe6e5380f561377ec1b7cf0c6f1fda4c2680f7d (diff) | |
| download | website-b140469ccd17d0eead00f766a251cb824de5a520.tar.xz | |
buildmaster/build-list.php: repair type of `is_blocked`
Diffstat (limited to 'mirrors.php')
0 files changed, 0 insertions, 0 deletions