Subject: Re: udev - ${exec_prefix} left over somewhere

From: Leo Famulari <[email-masked]>
Date: Wed, 28 Aug 2019 15:05:12 -0400

Before this bug was created, Ricardo discussed it on #guix and wrote a
patch:

http://logs.guix.gnu.org/2019-03-27.log#141325

The patch is no longer online but basically was about building eudev
with --binder set to $out/bin