Closed bgrins closed 7 years ago
This appears to fix #1557 as per https://github.com/mozilla/tofino/issues/1557#issuecomment-262239739.
@Mossop can you think of any reason to not do this?
@bgrins Nope, this looks good to me. r+
This appears to fix #1557 as per https://github.com/mozilla/tofino/issues/1557#issuecomment-262239739.