I've pushed the changes. > On May 15, 2025, at 6:16 PM, Benjamin Kaduk <[email protected]> wrote: > > Hi Alan, > > Could you push your git branch to github? I'm staging some editorial > suggestions as I do my secdir review and I noticed that the version on > github seems to only be the -05. > > Thanks, > > Ben
_______________________________________________ Emu mailing list -- [email protected] To unsubscribe send an email to [email protected]
