On 11.04.2019 13:00, glen wrote: > seems ok now. > > > new commit created as: > > git diff 625690e48..96bb43df4
thanks! _______________________________________________ pld-devel-en mailing list pld-devel-en@lists.pld-linux.org http://lists.pld-linux.org/mailman/listinfo/pld-devel-en