Fix #434: Remove obsolete TODO section in README#447

Merged

chrispsommers merged 2 commits intop4lang:mainfrom jafingerhut:2023-aug-fix-issue-434

Sep 8, 2023

+35-13

Commits on Aug 13, 2023

Fix p4lang#434 : Remove obsolete TODO section in README
jafingerhut
committed

Commits on Aug 29, 2023

Add P4_16 v1.2.4 language spec features that may need addressing
jafingerhut
committed