chore: bump distro for build fix (#184197)

This commit is contained in:
Connor Peet 2023-06-02 11:32:37 -07:00 committed by GitHub
parent 0876c19e0a
commit baff8546bd
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,7 +1,7 @@
{
"name": "code-oss-dev",
"version": "1.80.0",
"distro": "6a2bf7dc552e54b0490c3a347fc1c62c00e02310",
"distro": "72a01ba20044ebdf57ed5d643be558c31be7d4cb",
"author": {
"name": "Microsoft Corporation"
},