Teemu Patja
Teemu Patja
### Description *Type*: Feature When bountied Github issue is manually closed (without merging a PR), we should return the funds transferred to the bounty contract to the senders and consider...
### User Story As a user who sets bounties on issues, I would like to be able to (optionally) set a deadline for the claim. ### Description *Type*: Feature (This...
Previously robot-indent() assumed c-basic-offset is always set to an integer. A possible value for it is also the symbol 'set-from-style and it caused all ENTER and TAB key presses to...