Merge branch 'master' into maint · 3e98fb4183 - Flintfam Git Service

Merge branch 'master' into maint

Carsten Dominik 15 years ago

parent

12ec6bd15a 4fce79a04a

commit

3e98fb4183

1 changed files with 1 additions and 1 deletions

Split View Show Diff Stats

						
							+ 1
							
							- 1
						
Makefile
							 
								View File
							
				@@ -320,7 +320,7 @@ relup0:
			
				 	${MAKE} upload_release
			
				 relup:
			
				-	${MAKE} release
			
				+	${MAKE} makerelease
			
				 	${MAKE} upload_release
			
				 	${MAKE} upload_manual