typed-protocol's annotated driver: bugfix#5207

crocodile-dentist merged 1 commit into

mainIntersectMBO/ouroboros-network:mainfrom

mw/bugfix-runannotateddecoderIntersectMBO/ouroboros-network:mw/bugfix-runannotateddecoderCopy head branch name to clipboard