| 
						
					 | 
					
						
						
							
						
						fb746c5923
					 | 
					
						
						
							
							[dev-db/mongodb] bump, need to rebase patches still
						
						
						
						
						
						
					 | 
					
						2023-12-15 17:09:56 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						1f7ddfdbb0
					 | 
					
						
						
							
							[dev-db/mongodb] bump
						
						
						
						
						
						
					 | 
					
						2023-09-27 00:17:03 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b4801f2407
					 | 
					
						
						
							
							[dev-db/mongodb] bump, mostly freemon removal
						
						
						
						
						
						
					 | 
					
						2023-09-10 23:33:47 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						52cc6d125b
					 | 
					
						
						
							
							[dev-db/mongodb] disable freemon, breaks with boost 1.83 apparently
						
						
						
						
						
						
					 | 
					
						2023-09-07 17:25:09 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						e8bd876824
					 | 
					
						
						
							
							[dev-db/mongodb] bump
						
						
						
						
						
						
					 | 
					
						2023-08-22 07:47:21 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d7ef2cac67
					 | 
					
						
						
							
							[dev-db/mongodb] bump, new version soon, though
						
						
						
						
						
						
					 | 
					
						2023-05-02 17:08:10 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						778d3cf61b
					 | 
					
						
						
							
							[dev-db/mongodb] sync with tree
						
						
						
						
						
						
					 | 
					
						2023-04-21 00:47:57 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						274a1ca377
					 | 
					
						
						
							
							[dev-db/mongodb] bump
						
						
						
						
						
						
					 | 
					
						2023-04-11 18:52:23 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3ef1c19c85
					 | 
					
						
						
							
							[dev-db/mongodb] add newer
						
						
						
						
						
						
					 | 
					
						2023-03-03 18:59:39 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 |