diff options
| author | grebe | 2018-09-14 17:07:18 -0700 |
|---|---|---|
| committer | Richard Lin | 2018-09-14 17:07:18 -0700 |
| commit | 00ce759fc3919b04bdaa50413b3129e60fb58c7a (patch) | |
| tree | d7d06676b39fd9a936ac32517e05a8fea092aff5 /.github | |
| parent | f448449e9c1f83456aa9968201c3aafa592a61f3 (diff) | |
Give type annotation to litOption. (#887)
The litOption field currently has no type that can be inferred. Some
subtypes override it and give it a type, but the original declaration
should have a type so things like bundles can override it.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions