Where is KEP-0013

General Discussions
1

KEP-0013 is referenced in KEP-2392, among other places. Where can I find KEP-0013?

2

I think that reference is very old and goes back to when KEPs were in a different repo. I believe its referencing this one:

3

Thanks. (I’m not sure if there’s a way to confirm the correspondence but it looks about right…)