diff options
| -rw-r--r-- | devtools/flock-instructions | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/devtools/flock-instructions b/devtools/flock-instructions index 8f0f5eed..3c18dbaf 100644 --- a/devtools/flock-instructions +++ b/devtools/flock-instructions @@ -47,3 +47,6 @@ To use the test network: the #gpsd IRC channel at freenode. For each failed test, the log will be dumped to standard output. +We have access to some the Debian test machines listed as porterboxes +at <http://db.debian.org/machines.cgi>. Adding these to the flock is +a work in progress. |