02.00.01

Jens Georg

@jens.georg

5d796a05 · Bump patch version · May 05, 2020

New PATCH release 02.00.01

Changes since 02.00.00:
 * build: Fix undefined backend errors
 * Implemented ifFunctional() in backend.
 * build: Make helper library static