On 04.04.2021 16:13, Paweł Zuzelski wrote:
I sent another PR on Github, with that change it builds at th-2020 (and has been working well for me for like two days now).
you could at least share the link of the pull request. so could fetch the changes from there.
_______________________________________________ pld-devel-en mailing list pld-devel-en@lists.pld-linux.org http://lists.pld-linux.org/mailman/listinfo/pld-devel-en