[Reproducible-commits] [notes] 01/05: embed → embeds

Chris Lamb lamby at moszumanska.debian.org
Mon Oct 26 09:15:35 UTC 2015


This is an automated email from the git hooks/post-receive script.

lamby pushed a commit to branch master
in repository notes.

commit 65a1cb980417f0bf44a2e043797d859048745761
Author: Chris Lamb <lamby at debian.org>
Date:   Mon Oct 26 08:51:36 2015 +0000

    embed → embeds
---
 issues.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/issues.yml b/issues.yml
index 9a91e3b..16aa807 100644
--- a/issues.yml
+++ b/issues.yml
@@ -167,7 +167,7 @@ random_order_in_documentation_generated_by_javadoc:
     jdk9_dev/langtools/src/jdk.javadoc/share/classes/com/sun/tools/javadoc/DocLocale.java +172
 locale_in_documentation_generated_by_javadoc:
   description: |
-    javadoc embed the current locale in a "lang" attribute of the html document.
+    javadoc embeds the current locale in a "lang" attribute of the html document.
     .
     Likely cause is
     jdk9_dev/langtools/src/jdk.javadoc/share/classes/com/sun/tools/doclets/formats/html/markup/HtmlTree.java +416

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/reproducible/notes.git



More information about the Reproducible-commits mailing list