]> git.cworth.org Git - notmuch/commit
configure: replace multiple redirects with redirected block
authorDavid Bremner <david@tethera.net>
Wed, 15 Jul 2020 12:36:27 +0000 (09:36 -0300)
committerDavid Bremner <david@tethera.net>
Sat, 18 Jul 2020 14:54:54 +0000 (11:54 -0300)
commit7aaf6cbe9ac20d99046d1bdf260fe0fa72519760
tree1e2e5e39644444713fb8e7cfc7a1a0fab149c1aa
parent49d630d0f389e0bfb08a83178582f4a38f1ec664
configure: replace multiple redirects with redirected block

This belatedly implements Tomi's suggestion from

     id:m25zaukv6u.fsf@guru.guru-group.fi
configure