Merge branch 'maint' · 7eeb396c7d - Flintfam Git Service

Merge branch 'maint'

Nicolas Goaziou 7 years ago

parent

95af956cfd 14d3d59c44

commit

7eeb396c7d

1 changed files with 1 additions and 1 deletions

Split View Show Diff Stats

						
							+ 1
							
							- 1
						
doc/org.texi
							 
								View File
							
				@@ -21800,4 +21800,4 @@ that are mentioned in the manual.  For a more complete list, use
			
				 @printindex vr
			
				-@bye
			
				+@bye