ppx v1.2.6

wfondrie released this 17 Mar 00:05

· 12 commits to master since this release

7f26c14

[1.2.6] - 2022-03-16

This patch aims to resolve #18 and with it #25.

Fixed

Some PRIDE projects were still not working due to their recent URL change.
This patch makes the our hotfix from v1.2.3 more robust.

Assets 2