Closed HSteinway closed 4 years ago
Is it ok that I create more and more Pull-Requests instead of using the old ones? Is there a better way for small changes?
If it's been merged we need a new pr. Small PRs are fine!
On Fri, 20 Dec 2019, 16:50 HenrySteinway, notifications@github.com wrote:
Shorter, smarter (I hope).
You can view, comment on, or merge this pull request online at:
https://github.com/big-ab-games/robo-instructus-translation/pull/89 Commit Summary
- Update fun.ru.robomarkup
File Changes
- M function/fun.ru.robomarkup https://github.com/big-ab-games/robo-instructus-translation/pull/89/files#diff-0 (34)
Patch Links:
- https://github.com/big-ab-games/robo-instructus-translation/pull/89.patch
https://github.com/big-ab-games/robo-instructus-translation/pull/89.diff
— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/big-ab-games/robo-instructus-translation/pull/89?email_source=notifications&email_token=AARZHVZK5YTNB33ONN54TIDQZTZTRA5CNFSM4J6AIZQKYY3PNVWWK3TUL52HS4DFUVEXG43VMWVGG33NNVSW45C7NFSM4ICANFBQ, or unsubscribe https://github.com/notifications/unsubscribe-auth/AARZHVYWJKRRXOY3L6KGHSLQZTZTRANCNFSM4J6AIZQA .
Shorter, smarter (I hope).