diff options
| author | Richard Xia | 2021-09-23 17:24:59 -0700 |
|---|---|---|
| committer | GitHub | 2021-09-24 00:24:59 +0000 |
| commit | b2cae19bb7a3e29fe7311e9a288176610826ed03 (patch) | |
| tree | a588154607265e3d69629b19c3bb117eede40c96 /.github | |
| parent | 034445e31ec53100abe259d407e62e278fdb50fa (diff) | |
spec: Fix formatting of example of memory port types. (#2368)
8abf3085e3efb2b6dd3e123f13577b367d3f2695 reordered the fields, but it
unintentionally placed a closing brace before the actual end of the
write port type. This moves the brace to the end of the port.
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions