Promote @bretelerjmw to member

discipl / flinteditor-mps

GNU General Public License v3.0

2 stars 3 forks source link

Closed blackstardlb closed 2 years ago

blackstardlb commented 2 years ago

bretelerjmw commented 2 years ago

Yes please :slightly_smiling_face:

pimotte commented 2 years ago

Also took the liberty of making @blackstardlb admin of this repo.