Globaalse ümbernimetamise seis

Mineq üle: juhtminõ, otsminõ
Globaalse ümbernimetamise seisu vaatamine