Namensänderung[]
Sollte man den Artikel nicht in Bockshorn umbenennen? Dieser Name wird in der Java-1.19-Version zumindest im Kreativ-Inventar angezeigt. --Stl1988 (Diskussion) 22:00, 16. Jun. 2022 (UTC)
- Das ist richtig. Ich habe jedoch ebenfalls erst heute mitbekommen, dass sich der Name geändert hat. Ich werde es deshalb morgen umbenennen. -- Kingcat 100(Diskussion|Beiträge) 22:08, 16. Jun. 2022 (UTC)