rtems_waf: Update to master (096372fc4504)

Closes #3888
This commit is contained in:
Chris Johns
2020-02-28 14:04:13 +11:00
parent e562e3bdf3
commit 2b9172c9d4