J08nY 58a891265a String documentation: .ord_at() returns int not String ... fixes #5189		2016-06-14 14:52:32 +02:00
..
classes.xml	String documentation: .ord_at() returns int not String	2016-06-14 14:52:32 +02:00