Details
Description
For debugging, it would often be valuable to know which configuration options ever got read out of the Configuration into the rest of the program – an unread option didn't cause a problem. This patch logs the first time each option is read.