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

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Mon Aug 19 04:06:31 BST 2024


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

Luke Kenneth Casson Leighton <lkcl at lkcl.net> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|2021-08-071 at nlnet.nl,       |2021-02-052 at nlnet.nl
                   |2021-08A at nlnet.nl           |
       The table of|lkcl={amount=3750,          |lkcl={amount=3750,
  payments (in EUR)|submitted=2024-05-21}
      |submitted=2024-05-22}
     for this task;|                            |
        TOML format|[jacob]
                    |[jacob]
                   |amount = 4000               |amount = 4000
                   |submitted = 2024-05-21      |submitted = 2024-05-21
           Assignee|2021-08-071 at nlnet.nl        |2021-02-052 at nlnet.nl

--- Comment #10 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
financial accounting and audit purposes only:

put correct assignment to 2021-02-052 (not 2021-08-071)

and correct submission RFP date as it crossed a day barrier,
due to nlnet's server being in UTC+2 when the submission
was done from the UK (UTC+1) and the records being done between
23:01 and 00:00 on the 21st in the UK, nlnet's server (in holland)
recorded this as the *22nd*.

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


More information about the libre-soc-bugs mailing list