branch master updated (257e630 -> 87e7faa)

[guix-commits]

civodul pushed a change to branch master
in repository guix.

      from  257e630   gnu: tomb: Use system's sudo.
       new  96a469f   gnu: openmpi: Fix typo.
       new  6f160c5   Revert "gnu: openmpi: Pass explicit "--with-*" configure 
flags."
       new  1edcfda   pull: Remove unused '--verbose' option.
       new  f675f8d   Add 'guix time-machine'.
       new  1d54856   inferior: 'cached-channel-instance' takes an open store 
connection.
       new  0673059   news: Add entry for "guix time-machine".
       new  d17e012   time-machine: Handle 'git-error' exceptions.
       new  87e7faa   time-machine: Honor the standard build options.

The 8 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:
 Makefile.am                   |   1 +
 doc/guix.texi                 |  63 +++++++++++++++++++-
 etc/news.scm                  |  18 ++++++
 gnu/packages/mpi.scm          |   8 +--
 guix/inferior.scm             | 105 ++++++++++++++++++--------------
 guix/scripts/pull.scm         |  15 ++---
 guix/scripts/time-machine.scm | 135 ++++++++++++++++++++++++++++++++++++++++++
 7 files changed, 281 insertions(+), 64 deletions(-)
 create mode 100644 guix/scripts/time-machine.scm