You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Since the main branch has already been ported to ppxlib it would be great if you could cut a release, so that landmarks can be used together with other PPXs in their latest version.
The text was updated successfully, but these errors were encountered:
Since the main branch has already been ported to
ppxlib
it would be great if you could cut a release, so thatlandmarks
can be used together with other PPXs in their latest version.The text was updated successfully, but these errors were encountered: