[Libre-soc-dev] Submitting final RFPs for NLnet.2021.02A.052.CryptoRouter

[Luke Kenneth Casson Leighton]

On Wednesday, May 22, 2024, Luke Kenneth Casson Leighton <lkcl at lkcl.net>
wrote:

> your conclusion "this is the last i will do" is incorrect.

jacob i've notified NLnet that you'll be correctly
filling in 840 with the formal proofs links, and submitted
an RFP for it already pending you adding the correct
comments under 840.

do make absolutely certain to cross-reference, put in
the bugreports where you ACCIDENTALLY claim "formal proof
work done here is under this bugreport NNN MMM", the
phrase "this was unfamiliarity with the administrative
structure of this grant, bug 840 is the correct location"
something something, you sort it out but make certain to
explicitly double-link in the comments, so that if people
go to the bugreports NNN and MMM they can easily get to
840, and vice-versa.

leave it with you.

l.



-- 
---
geometry: without it life is pointless
the fibonacci series: easy as 1 1 2 3