Fix lint (#6526)
This commit is contained in:
1 parent
bb037eb218
commit
c0059b06c0
1 file changed
+1
-1
@@ -709,4 +709,4 @@ const fooooooooooooooo: SomeThing<boolean> = looooooooooooooooooooooooooooooongN
|
||||
[@g-harel]: https://github.com/g-harel
|
||||
[@jounqin]: https://github.com/JounQin
|
||||
[@bakkot]: https://gibhub.com/bakkot
|
||||
[@thorn0]: https://github.com/thorn0
|
||||
[@thorn0]: https://github.com/thorn0
|
||||
Reference in new issue
Block a user