search

softdevteam / grmtools

Rust grammar tool libraries and binaries
Other
494 stars 32 forks source link

Prepare a 0.13.3 release. #421

Closed ltratt closed 9 months ago

ltratt commented 9 months ago

@ratmice OK to squash?

ratmice commented 9 months ago

Please squash.

ltratt commented 9 months ago

Squashed.

ratmice commented 9 months ago

bors r+

bors[bot] commented 9 months ago

Build succeeded!

The publicly hosted instance of bors-ng is deprecated and will go away soon.

If you want to self-host your own instance, instructions are here. For more help, visit the forum.

If you want to switch to GitHub's built-in merge queue, visit their help page.