Grant Miller
							
						 
					 | 
					
						
						
						
						
							
						
						
							41d558a5f4
							
						
					 | 
					
						
						
							
							executor: Allow TaskStorage to auto-implement Sync
						
						
						
						
						
						
					 | 
					
						2023-03-20 17:08:15 -05:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Grant Miller
							
						 
					 | 
					
						
						
						
						
							
						
						
							fb1946be7f
							
						
					 | 
					
						
						
							
							Replace the pointer in TaskHeader with an Option<&Executor>
						
						
						
						
						
						
					 | 
					
						2023-01-31 18:59:03 -06:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Grant Miller
							
						 
					 | 
					
						
						
						
						
							
						
						
							48e1aab762
							
						
					 | 
					
						
						
							
							executor: Replace NonNull<TaskHeader> with TaskRef
						
						
						
						
						
						
					 | 
					
						2023-01-29 15:52:13 -06:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Dario Nieuwenhuis
							
						 
					 | 
					
						
						
						
						
							
						
						
							a0487380da
							
						
					 | 
					
						
						
							
							Replace futures::future::poll_fn -> core::future::poll_fn.
						
						
						
						
						
						
					 | 
					
						2022-09-22 16:42:49 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Dario Nieuwenhuis
							
						 
					 | 
					
						
						
						
						
							
						
						
							5daa173ce4
							
						
					 | 
					
						
						
							
							Split embassy-time from embassy-executor.
						
						
						
						
						
						
					 | 
					
						2022-08-18 01:22:30 +02:00 | 
					
					
						
						
							
							
							
						
					 |