Update history to reflect merge of #6557 [ci skip]
This commit is contained in:
		
							parent
							
								
									9431fdb9cd
								
							
						
					
					
						commit
						1a398c48b8
					
				| 
						 | 
				
			
			@ -79,6 +79,7 @@
 | 
			
		|||
  * (#6519) Optimize images
 | 
			
		||||
  * (#6544) Site: Back to original main navigation
 | 
			
		||||
  * (#6545) Style mobile-docs select element
 | 
			
		||||
  * Site: Search with DocSearch by @Algolia (#6557)
 | 
			
		||||
 | 
			
		||||
### Bug Fixes
 | 
			
		||||
 | 
			
		||||
| 
						 | 
				
			
			
 | 
			
		|||
		Loading…
	
		Reference in New Issue