Merge from develop

2 views
Skip to first unread message

Vojtěch Jelínek

unread,
Jul 26, 2021, 5:30:25 PM7/26/21
to oppia-dev
Hey Oppia devs,

Recently one PR introduce a TypeScript typing errors, we have reverted this PR now, in order to fix TS checks in your PR, please merge from develop.

Thanks,
Vojta
Reply all
Reply to author
Forward
0 new messages