klaus triendl

Optional leading zero for the 'day of month' format specifier

1

The [documentation](https://www.boost.org/doc/libs/1_70_0/doc/html/date_time/date_time_io.html#date_time.format_flags) for the format flags of date/time input facets state "%d - Day of the month as decimal 01 to 31. When used to parse input, **the leading zero...

**Describe the bug** If you deploy a custom probe with Docker, the probe connects but cannot execute any Monitors. **To Reproduce** Steps to reproduce the behaviour: 1. Deploy a custom...