branch master updated (81fbe03 -> 824a9f1)

[guix-commits]

nckx pushed a change to branch master
in repository guix.

    from 81fbe03  gnu: openssh: Fix ssh-copy-id.
     new 13e55e6  gnu: igraph: Update to 0.8.4.
     new 4491c62  gnu: igraph: Omit static library.
     new b87051b  gnu: lean: Update to 3.23.0.
     new 1df6f0f  gnu: lean: Trim synopsis.
     new ee6a3c0  gnu: pyzo: Update to 4.11.2.
     new 884714c  gnu: qtox: Update to 1.17.3.
     new 824a9f1  gnu: php: Update to 7.4.13.

The 7 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:
 gnu/packages/graph.scm      | 7 ++++---
 gnu/packages/lean.scm       | 7 ++++---
 gnu/packages/messaging.scm  | 6 +++---
 gnu/packages/php.scm        | 4 ++--
 gnu/packages/python-xyz.scm | 4 ++--
 5 files changed, 15 insertions(+), 13 deletions(-)