Unnamed repository; edit this file 'description' to name the repository.
Rollup merge of #150972 - rename-attrs, r=kivooeo
Rename EII attributes slightly (being consistent in naming things foreign items, not extern items) r? @Kivooeo
Matthias Krüger 3 months ago
parent 7452b5b · parent d2e7b71 · commit e24beeb
0 files changed, 0 insertions, 0 deletions