branch master updated (10692b2 -> 91c5262)

[Efraim Flashner]

efraim pushed a change to branch master
in repository guix.

      from  10692b2   gnu: address@hidden: Update to 4.4.17.
       new  f64b989   gnu: dico: Update to 2.3.
       new  f9c6468   gnu: freeimpi: Update to 1.5.3.
       new  cd36a41   gnu: ffmpeg: Update to 3.1.2.
       new  91b2296   gnu: obs: Update to 0.15.4.
       new  3dbdfdc   gnu: mpv: Update to 0.18.1.
       new  c367128   gnu: mosh: Update source location.
       new  1137919   gnu: mosh: Use 'modify-phases'.
       new  0ec60d6   gnu: mosh: Update to 1.2.6.
       new  91c5262   gnu: corkscrew: Use 'modify-phases'.

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


Summary of changes:
 gnu/local.mk                                       |    2 -
 gnu/packages/dico.scm                              |   14 ++---
 gnu/packages/freeipmi.scm                          |    7 ++-
 gnu/packages/patches/dico-idxgcide-bug.patch       |   21 -------
 .../patches/dico-libtool-deterministic.patch       |   15 -----
 gnu/packages/ssh.scm                               |   62 ++++++++++----------
 gnu/packages/video.scm                             |   12 ++--
 7 files changed, 47 insertions(+), 86 deletions(-)
 delete mode 100644 gnu/packages/patches/dico-idxgcide-bug.patch
 delete mode 100644 gnu/packages/patches/dico-libtool-deterministic.patch