branch master updated (3370e3a -> 84d4be1)

[Ludovic Courtès]

civodul pushed a change to branch master
in repository maintenance.

    from 3370e3a  hydra: bayfront: More efficiently submit build coordinator 
builds.
     new c096a73  hydra: Add two more childhurds to offload to.
     new 84d4be1  hydra: web: Build the stable manual from 'version-1.4.0'.

The 2 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "add" were already present in the repository and have only
been added to this reference.


Summary of changes:
 hydra/machines-for-berlin.scm             | 6 +++---
 hydra/modules/sysadmin/build-machines.scm | 8 ++++----
 hydra/modules/sysadmin/web.scm            | 6 +++---
 3 files changed, 10 insertions(+), 10 deletions(-)