diff options
author | Greg Munn <gregm@microsoft.com> | 2019-12-06 18:35:11 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-12-06 18:35:11 +0300 |
commit | 3020f4ea4ddc872ae146b398567ef1d1ef95dda1 (patch) | |
tree | 43929dda269f5bb9d065eb41e00b55a0a0b3f6b6 | |
parent | a2e0f36088b1137ab6bb43cac760cb9e022fad43 (diff) | |
parent | 241b4c1da119a9b4c266a3b79d7b5d70d431f018 (diff) |
Merge pull request #9444 from mono/bump-241b4c1
Updated reference to xamarin/Xamarin.PropertyEditing@217cd27
m--------- | main/external/Xamarin.PropertyEditing | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/main/external/Xamarin.PropertyEditing b/main/external/Xamarin.PropertyEditing -Subproject 70e8074aa62c2030cd60c68f963beb62abc2a5b +Subproject 217cd27f4b95371a9edc6b4c2bb41f9b616a7eb |