diff options
author | Michal Strehovský <MichalStrehovsky@users.noreply.github.com> | 2018-03-05 19:41:25 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-03-05 19:41:25 +0300 |
commit | 26a7144bf8d48c2310aca9c9c56e6ce3eead0bb5 (patch) | |
tree | e601c981525095cef1e0ea97afe46daacd8757b4 /src | |
parent | ab5bba191dfbd9b5bd76c701fcaf734b7da4aa1a (diff) |
Hardcode symbol publishing task to 1.* (#5499)
This should hopefully unblock official build publishing.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions