tibbi 0bbfde9b82 shortening more cursor handling, use cursor?.use		2020-04-15 14:25:18 +02:00
..
pro	shortening more cursor handling, use cursor?.use	2020-04-15 14:25:18 +02:00