Skip to content

Fix filename of FLIP 132 #71

Fix filename of FLIP 132

Fix filename of FLIP 132 #71

on:
issues:
types: [ opened, reopened ]
pull_request_target:
types: [ opened, reopened ]
permissions:
issues: write
pull-requests: write
jobs:
assign-author:
runs-on: ubuntu-latest
steps:
- uses: toshimaru/[email protected]