Hi,
On Thu, 03 Feb 2022 at 03:30, zimoun <zimon.toutoune@gmail.com> wrote:
On Thu, 13 Jan 2022 at 16:45, zimoun <zimon.toutoune@gmail.com> wrote:
On Tue, 03 Oct 2017 at 17:34, Dave Love <dave.love@manchester.ac.uk>
wrote:
On Mon, 04 Dec 2017 at 09:19, Thomas Danckaert
<post@thomasdanckaert.be> wrote:
This patch #28690 [1] is about adding an output to boost. The aim is
to
reduce the closure size.
The last message if from Dec. 2017 and indicates some issues.
1: <http://issues.guix.gnu.org/issue/28690>
[...]
Since some work remains and it is not clear if it is worth to complete
such work about adding more outputs to boost, I plan to mark this
report
as ’donewontfix’. Let me know if it is worth to keep it open.
Any objection closing? If not, I will close it in 2 weeks.