Merge pull request #226561 from geopjr-forks/update/shards

shards_0_17: 0.17.2 -> 0.17.3
This commit is contained in:
Weijia Wang 2023-04-19 09:20:31 +03:00 committed by GitHub
commit a30c6c8e94
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -37,8 +37,8 @@ let
in
rec {
shards_0_17 = generic {
version = "0.17.2";
hash = "sha256-2HpoMgyi8jnWYiBHscECYiaRu2g0mAH+dCY1t5m/l1s=";
version = "0.17.3";
hash = "sha256-vgcMB/vp685YwYI9XtJ5cTEjdnYaZY9aOMUnJBJaQoU=";
};
shards = shards_0_17;