Update history to reflect merge of #8235 [ci skip]
This commit is contained in:
		
							parent
							
								
									72c7529e27
								
							
						
					
					
						commit
						0bb04d45c7
					
				|  | @ -10,6 +10,10 @@ | |||
|   * Disable page excerpts by default (#8222) | ||||
|   * Revert introduction of PageDrop (#8221) | ||||
| 
 | ||||
| ### Documentation | ||||
| 
 | ||||
|   * Replace deprecated 'show' command with 'info' (#8235) | ||||
| 
 | ||||
| ## 4.1.0 / 2020-05-27 | ||||
| 
 | ||||
| ### Bug Fixes | ||||
|  |  | |||
		Loading…
	
		Reference in New Issue