Closed tuyetrinhvo closed 2 years ago
Q | A |
---|---|
Bug fix? | yes/no |
New feature? | yes/no |
BC breaks? | yes/no |
Fixed issue | #... |
Can you rename your commit plz ?
Seems good to me, we are waiting for @oallain to merge :stuck_out_tongue:
Thanks @tuyetrinhvo and @GalloisLuca :rocket: