New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

fixed: changed name of the printer pausable -> not-pausable #1823

Merged

montyly merged 2 commits into crytic:dev from aga7hokakological:not-pausable

Apr 18, 2023

Contributor

aga7hokakological commented Apr 5, 2023

This PR is related to the issue #1670 where it says to change the name of the printer from pausable to not-pausable

0xalpharush and others added 2 commits

March 22, 2023 12:07


          Merge pull request crytic#1791 from crytic/fix/github-templates

0ec4874

fix misc. character, remove invalid fields


          fixed: changed name of the printer pausable -> not-pausable

fa4ca2c

aga7hokakological requested review from montyly, 0xalpharush and smonicas as code owners

April 5, 2023 18:58

CLAassistant commented Apr 5, 2023 •

edited

All committers have signed the CLA.

aga7hokakological changed the base branch from master to dev

April 5, 2023 19:06

montyly merged commit fa4ca2c into crytic:dev

39 checks passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment