[mono/monodevelop] 5e2ddb7c: Fixed 'Bug 15497 - Incorrect redundant type cast warning'
| Newsgroups | gmane.comp.gnome.mono.patches |
|---|---|
| Message-ID | <00000141de85dd4c-db104e68-937a-4061-984d-d497a2703e89-000000@email.amazonses.com> |
Branch: refs/heads/master
Home: https://github.com/mono/monodevelop
Compare: https://github.com/mono/monodevelop/compare/0dd47a18fcf6...5e2ddb7cf533
Commit: 5e2ddb7cf53308ef1617ce605f2086ce9e505ce9
Author: Mike Krüger <[email protected]> (mkrueger)
Date: 2013-10-22 04:55:01 GMT
URL: https://github.com/mono/monodevelop/commit/5e2ddb7cf53308ef1617ce605f2086ce9e505ce9
Fixed 'Bug 15497 - Incorrect redundant type cast warning'
Changed paths:
M main/external/nrefactory
Modified: main/external/nrefactory
===================================================================
@@ -1 +1 @@
-Subproject commit 47681853e56a9e63685e0cc960e4a290d8e4b7be
+Subproject commit 6f952123fd022b70247aa514a879196d4cd36998
_______________________________________________
Mono-patches maillist - [email protected]
http://lists.ximian.com/mailman/listinfo/mono-patches