CHANGES
changeset 13215 4d4f9e42bcf8
parent 13208 c9ef35fab0b1
child 13263 9097149923ae
--- a/CHANGES	Sun Jul 16 21:21:37 2023 +0200
+++ b/CHANGES	Mon Jul 17 00:09:41 2023 +0200
@@ -43,6 +43,7 @@
 - Config interface API can require that string values be picked from a provided set
 - Acceptable interval can be specified for number options
 - Method for parsing time periods / intervals from config
+- Method for retrieving integer settings from config
 
 ## Changes