[debbugs-tracker] bug#18800: closed ([PATCH 1/2] dfa: prefer bool at DFA interfaces)

[GNU bug Tracking System]

Your message dated Sun, 1 May 2016 23:02:00 -0700
with message-id <address@hidden>
and subject line Re: [PATCH 1/2] dfa: prefer bool at DFA interfaces
has caused the debbugs.gnu.org bug report #18800,
regarding [PATCH 1/2] dfa: prefer bool at DFA interfaces
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


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

--- Begin Message --- Subject: [PATCH 1/2] dfa: prefer bool at DFA interfaces Date: Thu, 23 Oct 2014 08:02:49 +0900

This change is use bool for booleans at DFA interfaces.  Callers in Gawk
have already used bool instead of int for them.  Second patch changes
caller with change in first patch.

0001-dfa-prefer-bool-at-DFA-externals.patch
Description: Text document

0002-grep-change-caller-for-previous-change.patch
Description: Text document

--- End Message ---

--- Begin Message --- Subject: Re: [PATCH 1/2] dfa: prefer bool at DFA interfaces Date: Sun, 1 May 2016 23:02:00 -0700 User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.7.2

I installed these patches, along with the attached further patch along the same
lines.

0001-dfa-prefer-bool-for-boolean.patch
Description: Text Data

--- End Message ---