diff options
| author | Dario Nieuwenhuis <[email protected]> | 2021-05-14 00:01:07 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-05-14 00:01:07 +0200 |
| commit | cd4111736c0384b1ef957df7f6aa51e3727c29b2 (patch) | |
| tree | 230fb447740d2f9bc4b6e5d82505cf950c41011b /.github/workflows | |
| parent | 4705333b5e7b54ee2e14fb4f9741c95edb8bb76a (diff) | |
| parent | 3b86e85770466b77a9e40731104b49fc46e30224 (diff) | |
Merge pull request #177 from lulf/bump-critical-section-version
Bump version of critical-section to 0.2.1
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions