| 
					
						
							
								
								
								
									
									
									
										blind
									
								
							
						
					
				 | 
				
					
						
							
							Another (better) patch for #1636
						
					
				 | 
				2016-01-09 17:32:19 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										brute
									
								
							
						
					
				 | 
				
					
						
							
							Update of copyright string
						
					
				 | 
				2016-01-06 00:06:12 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										dns
									
								
							
						
					
				 | 
				
					
						
							
							Update of copyright string
						
					
				 | 
				2016-01-06 00:06:12 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										error
									
								
							
						
					
				 | 
				
					
						
							
							Minor patch
						
					
				 | 
				2016-01-10 23:12:46 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										union
									
								
							
						
					
				 | 
				
					
						
							
							Minor consistency patch
						
					
				 | 
				2016-02-13 21:03:05 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								__init__.py
							
						
					
				 | 
				
					
						
							
							Update of copyright string
						
					
				 | 
				2016-01-06 00:06:12 +01:00 |