On Thu, Mar 18, 2021 at 4:45 PM Jacob Lifshay <programmerjake at gmail.com> wrote: > > On Thu, Mar 18, 2021, 04:50 Luke Kenneth Casson Leighton <lkcl at lkcl.net> > wrote: > pushed to nmigen-type-annotations. > yup, I'll re-add it once I can push to soc.git! excellent. you're added. l.