GNU bug report logs - #33976
[PATCH] gnu: Add dev86.

Previous Next

Package: guix-patches;

Reported by: Danny Milosavljevic <dannym <at> scratchpost.org>

Date: Fri, 4 Jan 2019 17:25:01 UTC

Severity: normal

Tags: patch

Done: Danny Milosavljevic <dannym <at> scratchpost.org>

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: Ludovic Courtès <ludo <at> gnu.org>
To: Danny Milosavljevic <dannym <at> scratchpost.org>
Cc: 33976-done <at> debbugs.gnu.org
Subject: [bug#33976] [PATCH] gnu: Add dev86.
Date: Thu, 10 Jan 2019 09:31:55 +0100

Hello,

Danny Milosavljevic <dannym <at> scratchpost.org> skribis:

> It's primarily 16-bit.  I package it because of xen which uses it to compile
> old-school BIOSes.
>
> It was quite popular in 1990 and used even by the Linux kernel.

Oh, fun.

> I pushed it as 1bde3d2cbf311f6d6c733339a000b7395cb2f945.

Thanks!

> Please amend description if necessary.

I’m not in a good position to do that because I know too little about
it.  In general, I don’t think the burden should be on the reviewer—we
already have too few people reviewing patches.

Ludo’.
This bug report was last modified 6 years and 184 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.