minor nitpicking #41
			No reviewers
			
				
				
			
		
		
		
	
	
	
		Labels
		
	
	
	
	No labels
	
		
			
	
	bug
		
			dependencies
		
			duplicate
		
			enhancement
		
			good first issue
		
			help wanted
		
			invalid
		
			question
		
			wontfix
		
		
	
		No milestone
		
			
		
	
	No project
	
		
	
	
	
	
		No assignees
		
	
	
		
			
		
	
	
	
		1 participant
	
	
		
		
	Notifications
	
		
	
	
	
		
	
	
	Due date
No due date set.
	
		Dependencies
		
		
	
	
	No dependencies set.
		Reference: prescientmoon/erratic-gate#41
		
	
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue
	
	
	No description provided.
		
		Delete branch "patch-1"
	
	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?
 
		
Am in the process of deleting / cleaning up my account, thought I'd upstream patches I came across
Nice to see your project still exists after all this time!
Really had fun playing around with it back then, thanks
Be good, farewell^^
oh dang, didn't know GitHub can't handle PR's from deleted repos, what a shame
If you wanna merge it anyway
git cherry-pick cc8fdf5aa80931791160661a0569149254ddc360should workPull request closed