00.13.01

Martin Christoph Hierholzer

@martin.hierholzer

6d346a9b · increased patch level · Jan 22, 2018

New PATCH release 00.13.01

Changes since 00.13.00:

- bug fix: ArrayPipe was only working for Type = int