update-1.37 #1
		Owner
	
							
								
							
							
							
								No description provided.
							
						
						
						
						
					
				
				
					
						
	paul
	
						added 4 commits 2022-03-19 12:30:43 +01:00 
					
				
			
			
				
					
					chore: update to mediawiki 1.37
				
			
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue
	
	
	No description provided.
		
		Delete branch "update-1.37"
	
	Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?