[Libre-soc-bugs] [Bug 840] Formal proofs and unit tests for cryptoprimitives

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Wed Aug 21 16:55:05 BST 2024


https://bugs.libre-soc.org/show_bug.cgi?id=840

--- Comment #14 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
(In reply to Jacob Lifshay from comment #13)
> Michiel, I'll note that if the documentation I added to the wiki was
> sufficient for me to get paid for this task, I would assume it's also
> sufficient for Luke to get paid for the exact same task, him getting
> assigned EUR 3750 of the budget on this task is intentional and was agreed
> on by both of us.

jacob please email them and/or call them directly as the obvious implication
from what they have are saying is, "luke is an untrustworthy abuser whom
we cannot listen to, therefore let's punish him by shutting down ALL
RFPs".

   https://lists.libre-soc.org/pipermail/libre-soc-dev/2024-August/006419.html

HELP.

-- 
You are receiving this mail because:
You are on the CC list for the bug.


More information about the libre-soc-bugs mailing list