[PATCH] gnu: linux: Fix the extra-version parameter in make-linux-libre*.

  • Done
  • quality assurance status badge
Details
2 participants
  • Maxim Cournoyer
  • Stefan
Owner
unassigned
Submitted by
Stefan
Severity
normal
S
S
Stefan wrote on 22 Sep 2022 18:50
F33F62B5-833C-4F8B-BF50-800052A00B6B@vodafonemail.de
Hi Leo!

I’m addressing you directly because of the entry in etc/teams.scm.

I found and fixed a bug in make-linux-libre*. The split of the phase 'configure into a separate 'set-environment will be used by another patch.

Actually this is part of a patch series in 48314. But it is an independent fix, which can reduce the size of that other ticket.

If this patch is accepted, I may send another part of that patch series separately.


Bye

Stefan
M
M
Maxim Cournoyer wrote on 7 May 2023 17:09
control message for bug #58008
(address . control@debbugs.gnu.org)
875y9418le.fsf@gmail.com
close 58008
quit
?