aip-dev / google.aip.dev

API Improvement Proposals. https://aip.dev/
Other
1.08k stars 495 forks source link

Links in https://google.aip.dev/180 are broken #1394

Closed jskeet closed 2 months ago

jskeet commented 2 months ago

In https://google.aip.dev/180, in the "further reading", the links for AIP 4231 and AIP 4232 are broken.