diff options
| author | Miguel de Icaza <miguel@gnome.org> | 2013-11-19 22:53:59 +0400 |
|---|---|---|
| committer | Miguel de Icaza <miguel@gnome.org> | 2013-11-19 22:53:59 +0400 |
| commit | 6cfd02c68db1ccf4dc5bbdf30d115415ece3e9dc (patch) | |
| tree | 6208e453dba55fd58cdc89c74748f52a985f488b /README.md | |
| parent | 54d1751b24bfa99fbdba3744c6c06d2484898a3c (diff) | |
List maintainer, for scan.coverity.com
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/README.md b/README.md index b3b0eb7c853..d7ef14ddb7f 100644 --- a/README.md +++ b/README.md @@ -520,6 +520,7 @@ Git submodules maintenance Read documentation at http://mono-project.com/Git_Submodule_Maintenance +Mono is maintained by miguel@xamarin.com Reporting bugs ============== @@ -532,4 +533,4 @@ Please use the search facility to ensure the same bug hasn't already been submitted and follow our guidelines on how to make a good bug report: -http://mono-project.com/Bugs#How_to_make_a_good_bug_report
\ No newline at end of file +http://mono-project.com/Bugs#How_to_make_a_good_bug_report |