Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							412301bb18
							
						
					 | 
					
						
						
							
							Another trivial patch related to the last commit
						
						
						
						
						
					 | 
					
						2019-08-13 12:29:18 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							fd4becf389
							
						
					 | 
					
						
						
							
							Minor deprecation patch (drei)
						
						
						
						
						
					 | 
					
						2019-08-13 12:27:28 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							aa2682ec16
							
						
					 | 
					
						
						
							
							Fixes #3873
						
						
						
						
						
					 | 
					
						2019-08-13 12:23:45 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							94ef433a37
							
						
					 | 
					
						
						
							
							Minor update for #3874
						
						
						
						
						
					 | 
					
						2019-08-13 11:58:33 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							15f6796b04
							
						
					 | 
					
						
						
							
							Fixes #3871
						
						
						
						
						
					 | 
					
						2019-08-11 01:32:20 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							de63238897
							
						
					 | 
					
						
						
							
							Minor patch for --threads and multi Ctrl-C
						
						
						
						
						
					 | 
					
						2019-08-06 02:54:18 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							1824e5b094
							
						
					 | 
					
						
						
							
							Trivial removal of leftover
						
						
						
						
						
					 | 
					
						2019-08-04 01:05:28 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							a42a7c88bd
							
						
					 | 
					
						
						
							
							Fixes #3841
						
						
						
						
						
					 | 
					
						2019-08-04 01:05:13 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							b5063fc25a
							
						
					 | 
					
						
						
							
							Implementation for #3859
						
						
						
						
						
					 | 
					
						2019-08-02 20:29:52 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							093b36f12d
							
						
					 | 
					
						
						
							
							Minor patch
						
						
						
						
						
					 | 
					
						2019-08-02 19:33:16 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							a9de51380b
							
						
					 | 
					
						
						
							
							Implementation for #3845
						
						
						
						
						
					 | 
					
						2019-07-31 20:00:51 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							ec0be6519f
							
						
					 | 
					
						
						
							
							Minor update
						
						
						
						
						
					 | 
					
						2019-07-31 19:53:20 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							9e8aec37c8
							
						
					 | 
					
						
						
							
							Minor patch
						
						
						
						
						
					 | 
					
						2019-07-30 20:31:22 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							1f644bd3ae
							
						
					 | 
					
						
						
							
							Fixes #3854
						
						
						
						
						
					 | 
					
						2019-07-30 20:28:56 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							86abf179f2
							
						
					 | 
					
						
						
							
							Fixes #3850
						
						
						
						
						
					 | 
					
						2019-07-30 20:12:45 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							4a6ff82273
							
						
					 | 
					
						
						
							
							Patch for #3851
						
						
						
						
						
					 | 
					
						2019-07-24 23:43:08 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							198ceb8ba1
							
						
					 | 
					
						
						
							
							Minor update regarding the #3834
						
						
						
						
						
					 | 
					
						2019-07-19 12:24:34 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							0bc5069042
							
						
					 | 
					
						
						
							
							Implements #3834
						
						
						
						
						
					 | 
					
						2019-07-19 12:17:07 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							bd1ea4fd73
							
						
					 | 
					
						
						
							
							Fixes #3837
						
						
						
						
						
					 | 
					
						2019-07-18 20:32:02 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							db90ff9c3f
							
						
					 | 
					
						
						
							
							Fixing mess with --common-files --threads>1 (threads in threads - '.shared.' hell)
						
						
						
						
						
					 | 
					
						2019-07-18 14:59:42 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							b62680b4bc
							
						
					 | 
					
						
						
							
							Minor update (--technique=E --common-files)
						
						
						
						
						
					 | 
					
						2019-07-18 13:26:58 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							819bf47a11
							
						
					 | 
					
						
						
							
							Minor update (storing force-partial)
						
						
						
						
						
					 | 
					
						2019-07-18 12:16:03 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							f06e9ecb58
							
						
					 | 
					
						
						
							
							Minor update for #3833
						
						
						
						
						
					 | 
					
						2019-07-18 11:58:40 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							8fda828bc9
							
						
					 | 
					
						
						
							
							Minor refactoring
						
						
						
						
						
					 | 
					
						2019-07-18 11:27:00 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							453a6fbc6f
							
						
					 | 
					
						
						
							
							Update for #3831
						
						
						
						
						
					 | 
					
						2019-07-17 13:20:24 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							9d0f446c24
							
						
					 | 
					
						
						
							
							Dummy patch for #3830
						
						
						
						
						
					 | 
					
						2019-07-17 13:03:48 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							e6173d7eaa
							
						
					 | 
					
						
						
							
							Minor update
						
						
						
						
						
					 | 
					
						2019-07-17 10:30:14 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							1b0488160e
							
						
					 | 
					
						
						
							
							Minor update
						
						
						
						
						
					 | 
					
						2019-07-16 15:07:20 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							86392179c3
							
						
					 | 
					
						
						
							
							Minor patch related to the #3822
						
						
						
						
						
					 | 
					
						2019-07-16 14:02:16 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							823119a247
							
						
					 | 
					
						
						
							
							Update regarding #3826
						
						
						
						
						
					 | 
					
						2019-07-16 13:37:41 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							6b88fa3a30
							
						
					 | 
					
						
						
							
							Minor patch
						
						
						
						
						
					 | 
					
						2019-07-16 09:40:59 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							3c4aadf995
							
						
					 | 
					
						
						
							
							Fixes #3823
						
						
						
						
						
					 | 
					
						2019-07-15 13:08:22 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							34ed2c51ac
							
						
					 | 
					
						
						
							
							Minor style update
						
						
						
						
						
					 | 
					
						2019-07-12 14:19:25 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							eb14f296f6
							
						
					 | 
					
						
						
							
							Fixes #3820
						
						
						
						
						
					 | 
					
						2019-07-12 13:41:07 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							7d43429379
							
						
					 | 
					
						
						
							
							Fixes #3819
						
						
						
						
						
					 | 
					
						2019-07-12 12:18:56 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							c3a95e81f5
							
						
					 | 
					
						
						
							
							Fixes #3797
						
						
						
						
						
					 | 
					
						2019-07-11 12:40:56 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							c1ae1b432e
							
						
					 | 
					
						
						
							
							Update regarding #3813
						
						
						
						
						
					 | 
					
						2019-07-11 11:30:21 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							84d0b346e7
							
						
					 | 
					
						
						
							
							Patch for #3816
						
						
						
						
						
					 | 
					
						2019-07-11 11:13:49 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							4c8d348e2f
							
						
					 | 
					
						
						
							
							Fixes #3812
						
						
						
						
						
					 | 
					
						2019-07-11 10:56:38 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							752aed2986
							
						
					 | 
					
						
						
							
							Patch for #3815
						
						
						
						
						
					 | 
					
						2019-07-10 13:49:41 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							e10a96610d
							
						
					 | 
					
						
						
							
							Minor update
						
						
						
						
						
					 | 
					
						2019-07-10 10:49:05 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							090cbf75f1
							
						
					 | 
					
						
						
							
							Minor update for #3808
						
						
						
						
						
					 | 
					
						2019-07-08 13:48:13 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							71b63c9262
							
						
					 | 
					
						
						
							
							Update regarding 3804
						
						
						
						
						
					 | 
					
						2019-07-08 12:25:16 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							f85abafd79
							
						
					 | 
					
						
						
							
							Patch for #3805
						
						
						
						
						
					 | 
					
						2019-07-08 11:55:04 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							40bc53537c
							
						
					 | 
					
						
						
							
							Fixes #3806
						
						
						
						
						
					 | 
					
						2019-07-08 11:53:19 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							b4c00f4172
							
						
					 | 
					
						
						
							
							Update regarding #3802
						
						
						
						
						
					 | 
					
						2019-07-07 16:17:24 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							d0c48df62c
							
						
					 | 
					
						
						
							
							Fixes #3801
						
						
						
						
						
					 | 
					
						2019-07-07 15:56:54 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							3f99ec638f
							
						
					 | 
					
						
						
							
							Minor update
						
						
						
						
						
					 | 
					
						2019-07-04 12:03:26 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							83e1daab96
							
						
					 | 
					
						
						
							
							Fixes #3796
						
						
						
						
						
					 | 
					
						2019-07-04 11:18:55 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							f9489c3352
							
						
					 | 
					
						
						
							
							Minor patch (fixes #3795)
						
						
						
						
						
					 | 
					
						2019-07-04 11:07:25 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							3676cef79b
							
						
					 | 
					
						
						
							
							Preparing for something something
						
						
						
						
						
					 | 
					
						2019-07-03 16:30:18 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							25f29ca6b0
							
						
					 | 
					
						
						
							
							Minor updates
						
						
						
						
						
					 | 
					
						2019-07-03 10:56:05 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							a7695dd06f
							
						
					 | 
					
						
						
							
							Fixes #3792
						
						
						
						
						
					 | 
					
						2019-07-03 09:17:25 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							7b668127fc
							
						
					 | 
					
						
						
							
							Minor update
						
						
						
						
						
					 | 
					
						2019-07-01 10:54:11 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							3abd3e1a8d
							
						
					 | 
					
						
						
							
							Patching silent per-thread issue with technique switching (fixes #3784)
						
						
						
						
						
					 | 
					
						2019-07-01 10:43:05 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							32e09c8dfb
							
						
					 | 
					
						
						
							
							Couple of updates for #2908
						
						
						
						
						
					 | 
					
						2019-06-28 13:56:48 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							aa9b5e4e0c
							
						
					 | 
					
						
						
							
							Implements #2908
						
						
						
						
						
					 | 
					
						2019-06-27 17:28:43 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							c938d77be9
							
						
					 | 
					
						
						
							
							Fixes #3781
						
						
						
						
						
					 | 
					
						2019-06-27 01:48:35 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							580dc2a4e2
							
						
					 | 
					
						
						
							
							Removing junk
						
						
						
						
						
					 | 
					
						2019-06-26 16:57:51 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							cb170f1f28
							
						
					 | 
					
						
						
							
							Implements #3780
						
						
						
						
						
					 | 
					
						2019-06-26 15:53:18 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							5650e1a1a4
							
						
					 | 
					
						
						
							
							Fixes #3776
						
						
						
						
						
					 | 
					
						2019-06-26 11:31:13 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							39cb938827
							
						
					 | 
					
						
						
							
							Fixes #3775
						
						
						
						
						
					 | 
					
						2019-06-26 11:06:50 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							de77ce131f
							
						
					 | 
					
						
						
							
							Patches #3773
						
						
						
						
						
					 | 
					
						2019-06-26 11:02:43 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							e355a087a4
							
						
					 | 
					
						
						
							
							Fixes #3767
						
						
						
						
						
					 | 
					
						2019-06-21 10:15:36 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							e565fa1fad
							
						
					 | 
					
						
						
							
							Dirty fix for #3766
						
						
						
						
						
					 | 
					
						2019-06-18 23:16:53 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							9d055c723b
							
						
					 | 
					
						
						
							
							Minor update
						
						
						
						
						
					 | 
					
						2019-06-18 00:59:20 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							89af62ab95
							
						
					 | 
					
						
						
							
							Minor update
						
						
						
						
						
					 | 
					
						2019-06-18 00:45:28 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							60f69a5ca0
							
						
					 | 
					
						
						
							
							Fixes #3764
						
						
						
						
						
					 | 
					
						2019-06-17 16:40:08 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							797bc7b75f
							
						
					 | 
					
						
						
							
							Fixes #3762
						
						
						
						
						
					 | 
					
						2019-06-17 14:59:48 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							8220b6264c
							
						
					 | 
					
						
						
							
							Fixes #3759
						
						
						
						
						
					 | 
					
						2019-06-16 17:23:46 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							3b3f4926e4
							
						
					 | 
					
						
						
							
							Patch for #3756 and #3761
						
						
						
						
						
					 | 
					
						2019-06-16 16:21:18 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							27e2409e17
							
						
					 | 
					
						
						
							
							Fixes #3755
						
						
						
						
						
					 | 
					
						2019-06-14 12:20:38 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							8eaac41e01
							
						
					 | 
					
						
						
							
							Fixes #3752
						
						
						
						
						
					 | 
					
						2019-06-13 11:05:45 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							0db8b8e268
							
						
					 | 
					
						
						
							
							Minor renaming
						
						
						
						
						
					 | 
					
						2019-06-13 10:59:56 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							468eed8532
							
						
					 | 
					
						
						
							
							Fixes #3753
						
						
						
						
						
					 | 
					
						2019-06-13 10:58:21 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							5650abbb4a
							
						
					 | 
					
						
						
							
							Adding support for argparse
						
						
						
						
						
					 | 
					
						2019-06-11 01:45:23 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							a9d0ecbc66
							
						
					 | 
					
						
						
							
							Minor patch (argparse preparation)
						
						
						
						
						
					 | 
					
						2019-06-10 23:23:36 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							446581496f
							
						
					 | 
					
						
						
							
							Probably fixes #3744
						
						
						
						
						
					 | 
					
						2019-06-09 01:28:21 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							ce3abdaa4d
							
						
					 | 
					
						
						
							
							Fixes #3745
						
						
						
						
						
					 | 
					
						2019-06-09 01:11:29 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							e30155b657
							
						
					 | 
					
						
						
							
							Minor patch (multi-target resume)
						
						
						
						
						
					 | 
					
						2019-06-07 10:37:13 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							fa1052e8fc
							
						
					 | 
					
						
						
							
							Trivial patch regarding #3741
						
						
						
						
						
					 | 
					
						2019-06-07 01:39:11 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							bade832a41
							
						
					 | 
					
						
						
							
							Fixes #3741
						
						
						
						
						
					 | 
					
						2019-06-07 01:34:13 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							90a735e3da
							
						
					 | 
					
						
						
							
							Adding advice(s) in case of no provided parameters
						
						
						
						
						
					 | 
					
						2019-06-07 00:55:36 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							28c5a709bd
							
						
					 | 
					
						
						
							
							Minor renaming
						
						
						
						
						
					 | 
					
						2019-06-07 00:21:43 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							02c8f47892
							
						
					 | 
					
						
						
							
							Adding support for WebSocket over SSL (wss://)
						
						
						
						
						
					 | 
					
						2019-06-06 23:45:30 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							8a97e7edcc
							
						
					 | 
					
						
						
							
							Trivial renaming
						
						
						
						
						
					 | 
					
						2019-06-06 23:13:34 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							10152db8ee
							
						
					 | 
					
						
						
							
							Minor patch for PIP --smoke
						
						
						
						
						
					 | 
					
						2019-06-06 13:40:32 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							3d150233c5
							
						
					 | 
					
						
						
							
							Removing old file
						
						
						
						
						
					 | 
					
						2019-06-06 13:09:08 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							87525d8bcb
							
						
					 | 
					
						
						
							
							Adding deprecated options (along with obsolete)
						
						
						
						
						
					 | 
					
						2019-06-06 13:08:56 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							1c2dec031c
							
						
					 | 
					
						
						
							
							'Calling Travis'
						
						
						
						
						
					 | 
					
						2019-06-06 12:46:38 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							677dd20d6c
							
						
					 | 
					
						
						
							
							Considerable improvement of --parse-errors (and patch)
						
						
						
						
						
					 | 
					
						2019-06-06 12:13:30 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							0e409d4479
							
						
					 | 
					
						
						
							
							Fixes #3740
						
						
						
						
						
					 | 
					
						2019-06-06 11:44:27 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							ceb718107f
							
						
					 | 
					
						
						
							
							Patch for live-testing
						
						
						
						
						
					 | 
					
						2019-06-05 14:23:30 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							9df1a3d640
							
						
					 | 
					
						
						
							
							Minor patch for PostgreSQL UDF handling
						
						
						
						
						
					 | 
					
						2019-06-05 12:22:13 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							a2bc690170
							
						
					 | 
					
						
						
							
							Update of PostgreSQL UDFs
						
						
						
						
						
					 | 
					
						2019-06-05 12:16:05 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							292c1dc91f
							
						
					 | 
					
						
						
							
							Adding missing so libraries for PgSQL
						
						
						
						
						
					 | 
					
						2019-06-05 12:03:30 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							77e1b99a2c
							
						
					 | 
					
						
						
							
							Fixes #3739
						
						
						
						
						
					 | 
					
						2019-06-05 10:37:11 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							98582d5ac6
							
						
					 | 
					
						
						
							
							Minor update
						
						
						
						
						
					 | 
					
						2019-06-04 15:46:56 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							d444bf198e
							
						
					 | 
					
						
						
							
							Bug fix (double newline - e.g. in adjusting delay)
						
						
						
						
						
					 | 
					
						2019-06-04 15:24:40 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							193889e97f
							
						
					 | 
					
						
						
							
							Bug fix for --disable-coloring
						
						
						
						
						
					 | 
					
						2019-06-04 14:59:01 +02:00 | 
					
					
						
						
							
							
							
						
					 |