01.18.01

Jens Georg

@jens.georg

2d1f7892 · Bump patch level · Jul 02, 2020

New PATCH release 01.18.01

Changes since 01.18.00:
    Bump patch level
    Silence chatty debug message
    Fix off-by-one error