diff options
author | Luca Milanesio <luca.milanesio@gmail.com> | 2020-10-17 00:17:29 +0100 |
---|---|---|
committer | Luca Milanesio <luca.milanesio@gmail.com> | 2020-10-17 00:18:32 +0100 |
commit | e87010e83aae1b4311254411b275356725c38510 (patch) | |
tree | 2879190172ab802c0f131ce25a714e02f336e942 | |
parent | cfab48793a27e13e78bae7f3b84c2f55e93d63e7 (diff) |
Update plugin-manager submodule to the latest master
The submodule update includes the following commits:
00e5794 Fix loading of core plugins on Windows
Change-Id: Icf39812b65a430a9500d56375dce3361d009b16d
m--------- | plugins/plugin-manager | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/plugins/plugin-manager b/plugins/plugin-manager -Subproject d6a33818440eb20aca64a761f79652525b3eb06 +Subproject 00e57948f4f112c226028bc5c8d8fe60f770038 |