[Tcwg-commits] [toolchain/ci/interesting-commits] branch master updated (93cc13947 -> 71ddf9998)

This is an automated email from the git hooks/post-receive script.

tcwg-buildslave pushed a change to branch master in repository toolchain/ci/interesting-commits.

from 93cc13947 Add entry 50b5199cff690891726877e1c00ac53dfb7cc1c8 from https [...] new 71ddf9998 Add entry f1dd83b720e0e7ce4e419f33a692a6df684708df from https [...]

The 1 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference.

Summary of changes: .../master-thumb_m3_eabi/details.txt | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-)