[ptxdist] [GIT PULL] host-mfgtools: version bump 1.3.191 -> 1.4.43

Hi Michael, Can you pull the commit c53b6b733 ("host-mfgtools: version bump 1.3.191 -> 1.4.43") from https://github.com/OsterlaD/ptxdist.git branch pkg/host-mfgtools? Regards, Denis base-commit: 9691bb8bb ("migrate_platform: fix migration helper for TF_A_PLATFORM(S)") Am Freitag, den

Re: [ptxdist] [GIT PULL] fixup! ca-certificates: version bump 2016.08.08 -> 2019.09.16

Hi Michael, Sorry. This is of course the other one. 0e23af4a1 ("ca-certificates: version bump 2016.08.08 -> 2019.09.16") Is the right one, from https://github.com/OsterlaD/ptxdist.git on branch pkg/ca-certificates. Regards, Denis base-commit: 9691bb8bb ("migrate_platform: fix migration helper

[ptxdist] [GIT PULL] fixup! ca-certificates: version bump 2016.08.08 -> 2019.09.16

Hi Michael, Can you pull the commit c53b6b733 ("host-mfgtools: version bump 1.3.191 -> 1.4.43") from https://github.com/OsterlaD/ptxdist.git branch pkg/host-mfgtools? Regards, Denis base-commit: 9691bb8bb ("migrate_platform: fix migration helper for TF_A_PLATFORM(S)") Am Mittwoch, den