diff options
| author | Jack Koenig | 2020-09-09 13:49:18 -0700 |
|---|---|---|
| committer | GitHub | 2020-09-09 20:49:18 +0000 |
| commit | a70f0ceb443da270aad31f5ed478e95df7962849 (patch) | |
| tree | e80b2739d7c8d7b585273df9c7605fbcfca36d48 /scripts | |
| parent | bc7ac7013ecdf956b7cd61f0f0a60c7272d49cd6 (diff) | |
Make StageOption Unserializable (#1891)
These options are generally specific to a stage and thus should not be
propagating across serialization
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions