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 | 
					
					
						
						
							
							
							
						
					 |