Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

lschuermann
Copy link
Member

@lschuermann lschuermann commented Jun 17, 2024

Pull Request Overview

Merging the YieldFor PR has changed the TRD, but did not update its draft version or date modified attribute: "Merge pull request #3577 from tock/yeild-for" (db6b982)

Testing Strategy

N/A

TODO or Help Wanted

N/A

Documentation Updated

  • Updated the relevant files in /docs, or no updates are required.

Formatting

  • Ran make prepush.

@lschuermann lschuermann requested a review from alevy June 17, 2024 14:48
@lschuermann lschuermann mentioned this pull request Jun 17, 2024
2 tasks
@bradjc
Copy link
Contributor

bradjc commented Jun 17, 2024

And modified date?

Merging the YieldFor PR has changed the TRD, but did not update its
draft version or date modified attribute: "Merge pull request tock#3577
from tock/yeild-for" (db6b982)
@lschuermann lschuermann force-pushed the dev/yield-for-trd-bump branch from 7d118b6 to 5dd121a Compare June 17, 2024 15:07
@lschuermann lschuermann changed the title doc/reference/trd104: bump draft version doc/reference/trd104: bump draft version and date modified Jun 17, 2024
@lschuermann
Copy link
Member Author

And modified date?

Yes, thank you. Updated.

@alevy alevy added this pull request to the merge queue Jun 17, 2024
Merged via the queue into tock:master with commit 8e37412 Jun 17, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants