bug#46393: closed ([PATCH] gnu: Add ocrfeeder)

[GNU bug Tracking System]

Your message dated Wed, 24 Feb 2021 11:08:52 -0500
with message-id <YDZ6FA3K25GLpQeo@jasmine.lan>
and subject line Re: [bug#46393] [PATCH] gnu: Add ocrfeeder
has caused the debbugs.gnu.org bug report #46393,
regarding [PATCH] gnu: Add ocrfeeder
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
46393: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=46393
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems

--- Begin Message --- Subject: [PATCH] gnu: Add ocrfeeder Date: Mon, 8 Feb 2021 19:54:43 -0800

0001-gnu-Add-ocrfeeder.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#46393] [PATCH] gnu: Add ocrfeeder
>
>
>
>
> Date: 
>
> Wed, 24 Feb 2021 11:08:52 -0500
>
>
>
>
> On Tue, Feb 23, 2021 at 06:09:59PM -0800, Andy Tai wrote:
> > From 2db7eaf5dc51df1f2546357a3a87f73bce089148 Mon Sep 17 00:00:00 2001
> > From: Andy Tai <atai@atai.org>
> > Date: Sat, 20 Feb 2021 22:58:07 -0800
> > Subject: [PATCH] gnu: Add ocrfeeder
> > 
> > * gnu/packages/gnome.scm (ocrfeeder): New variable
>
> Thanks! Pushed as 02e0aa255933197d6c95ab9b66251ef0885b237e
>
>
> --- End Message ---