lmi
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [lmi] [PATCH] Add missing <climits>


From: Greg Chicares
Subject: Re: [lmi] [PATCH] Add missing <climits>
Date: Thu, 30 Aug 2018 01:09:39 +0000
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.9.1

On 2018-08-29 23:27, Vadim Zeitlin wrote:
[...]
>       https://github.com/vadz/lmi/pull/93

Thanks. I hope you won't mind that I made my own commit instead,
especially so that
  $git log --oneline --grep 'Fix defect introduced'
gives me something to reflect upon. Programming teaches humility:
I have as much chance of defeating alphago as of rivaling Knuth,
but at least I can keep a log of my mistakes as he recommends.
On the bright side, I don't owe you a bounty of 2^218 cents.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]