zimbatm  
		
	
	
		4d545297d8 
		
	 
	
	
	lib: introduce imap0, imap1 ( #25543 )  
		
			... 
			* lib: introduce imap0, imap1
For historical reasons, imap starts counting at 1 and it's not
consistent with the rest of the lib.
So for now we split imap into imap0 that starts counting at zero and
imap1 that starts counting at 1. And imap is marked as deprecated.
See c71e2d4235 (commitcomment-21873221) 
* replace uses of lib.imap
* lib: move imap to deprecated.nix 
		
	 
 
		2017-07-04 23:29:23 +01:00 
	 
	
	
		  ..
	 
	
	
		
			
			
			
			
			
			2017-03-30 16:23:35 +02:00 
		 
	
		
	
		
	
		
	
		
	
		
	
		
			
			
			
			
			
			2017-02-14 15:45:09 +02:00 
		 
	
		
	
		
	
		
	
		
	
		
			
			
			
			
			
			2017-03-01 02:24:38 +03:00 
		 
	
		
	
		
	
		
			
			
			
			
			
			2017-03-23 21:52:09 +01:00 
		 
	
		
	
		
			
			
			
			
			
			2017-05-21 20:27:44 +02:00 
		 
	
		
			
			
			
			
			
			2017-06-08 23:13:06 +03:00 
		 
	
		
	
		
	
		
	
		
	
		
	
		
	
		
	
		
			
			
			
			
			
			2017-02-28 15:50:30 +01:00 
		 
	
		
			
			
			
			
			
			2017-06-20 03:45:41 +02:00 
		 
	
		
	
		
	
		
			
			
			
			
			
			2017-06-18 08:41:57 -05:00 
		 
	
		
			
			
			
			
			
			2017-01-25 18:54:18 -08:00 
		 
	
		
	
		
			
			
			
			
			
			2017-03-01 14:03:36 +01:00 
		 
	
		
	
		
	
		
	
		
	
		
			
			
			
			
			
			2017-01-31 03:27:10 +03:00 
		 
	
		
	
		
	
		
	
		
	
		
			
			
			
			
			
			2017-02-02 15:36:52 -08:00 
		 
	
		
	
		
			
			
			
			
			
			2017-06-26 10:18:55 +01:00 
		 
	
		
	
		
			
			
			
			
			
			2017-01-19 16:52:40 +01:00 
		 
	
		
	
		
			
			
			
			
			
			2017-03-06 12:36:53 +00:00 
		 
	
		
			
			
			
			
			
			2017-05-22 04:37:39 -07:00 
		 
	
		
	
		
			
			
			
			
			
			2017-04-08 23:28:02 -05:00 
		 
	
		
			
			
			
			
			
			2017-06-15 08:37:24 +02:00 
		 
	
		
			
			
			
			
			
			2017-07-02 05:43:33 -07:00 
		 
	
		
	
		
	
		
			
			
			
			
			
			2017-01-18 16:58:45 +01:00 
		 
	
		
			
			
			
			
			
			2017-02-24 08:36:55 -03:00 
		 
	
		
			
			
			
			
			
			2017-05-23 17:21:33 +04:00 
		 
	
		
	
		
	
		
	
		
	
		
			
			
			
			
			
			2017-05-28 19:59:36 +01:00 
		 
	
		
	
		
			
			
			
			
			
			2017-03-06 19:37:24 +01:00 
		 
	
		
			
			
			
			
			
			2017-03-19 22:36:29 +00:00 
		 
	
		
	
		
			
			
			
			
			
			2017-02-04 15:36:38 +01:00 
		 
	
		
	
		
	
		
	
		
	
		
	
		
	
		
	
		
	
		
	
		
	
		
	
		
			
			
			
			
			
			2017-06-02 12:02:34 -03:00 
		 
	
		
			
			
			
			
			
			2017-03-30 12:06:08 +02:00 
		 
	
		
	
		
			
			
			
			
			
			2017-03-03 12:03:48 +01:00 
		 
	
		
	
		
	
		
			
			
			
			
			
			2017-06-13 21:37:50 +02:00 
		 
	
		
			
			
			
			
			
			2017-06-01 01:09:50 +00:00 
		 
	
		
			
			
			
			
			
			2017-02-26 11:45:15 +01:00 
		 
	
		
	
		
			
			
			
			
			
			2017-06-07 18:27:47 +01:00 
		 
	
		
	
		
			
			
			
			
			
			2017-06-10 07:43:45 +00:00 
		 
	
		
			
			
			
			
			
			2017-03-09 03:10:48 +02:00 
		 
	
		
	
		
			
			
			
			
			
			2017-02-28 17:33:31 +01:00 
		 
	
		
	
		
			
			
			
			
			
			2017-06-16 21:37:18 +02:00 
		 
	
		
	
		
	
		
	
		
	
		
			
			
			
			
			
			2017-02-28 12:53:49 +01:00 
		 
	
		
			
			
			
			
			
			2017-01-20 16:55:29 +01:00 
		 
	
		
			
			
			
			
			
			2017-06-09 17:07:31 +01:00 
		 
	
		
			
			
			
			
			
			2017-05-02 14:00:45 +02:00 
		 
	
		
			
			
			
			
			
			2017-02-15 00:50:05 +01:00 
		 
	
		
	
		
			
			
			
			
			
			2017-06-18 08:41:57 -05:00 
		 
	
		
			
			
			
			
			
			2017-03-31 18:37:32 -03:00 
		 
	
		
	
		
	
		
			
			
			
			
			
			2017-04-10 02:20:34 +03:00 
		 
	
		
	
		
	
		
	
		
	
		
	
		
			
			
			
			
			
			2017-03-30 03:05:05 -04:00 
		 
	
		
	
		
	
		
	
		
	
		
	
		
	
		
	
		
	
		
			
			
			
			
			
			2017-03-03 00:34:36 +03:00 
		 
	
		
			
			
			
			
			
			2017-06-20 03:45:41 +02:00 
		 
	
		
	
		
			
			
			
			
			
			2017-01-25 20:12:39 +01:00 
		 
	
		
	
		
	
		
	
		
	
		
	
		
			
			
			
			
			
			2017-02-01 16:07:55 +01:00 
		 
	
		
	
		
	
		
	
		
	
		
			
			
			
			
			
			2017-06-25 12:29:18 +02:00 
		 
	
		
	
		
			
			
			
			
			
			2017-01-31 03:27:11 +03:00 
		 
	
		
			
			
			
			
			
			2017-05-07 08:02:50 +02:00 
		 
	
		
	
		
	
		
	
		
			
			
			
			
			
			2017-06-13 10:52:38 +01:00 
		 
	
		
	
		
	
		
			
			
			
			
			
			2017-05-21 14:33:43 -03:00 
		 
	
		
	
		
	
		
			
			
			
			
			
			2017-03-03 15:18:08 +01:00 
		 
	
		
	
		
	
		
			
			
			
			
			
			2017-06-28 18:21:06 -04:00 
		 
	
		
	
		
			
			
			
			
			
			2017-05-11 07:52:43 +01:00 
		 
	
		
	
		
	
		
	
		
	
		
	
		
	
		
			
			
			
			
			
			2017-02-26 18:10:36 +01:00 
		 
	
		
	
		
	
		
			
			
			
			
			
			2017-06-02 20:19:03 +03:00 
		 
	
		
			
			
			
			
			
			2017-05-14 02:36:04 +03:00 
		 
	
		
	
		
	
		
			
			
			
			
			
			2017-01-22 12:30:14 +08:00 
		 
	
		
	
		
	
		
	
		
	
		
	
		
	
		
	
		
	
		
	
		
	
		
	
		
			
			
			
			
			
			2017-03-06 19:43:25 +01:00 
		 
	
		
	
		
	
		
	
		
			
			
			
			
			
			2017-02-16 22:25:23 +01:00 
		 
	
		
	
		
	
		
	
		
	
		
	
		
			
			
			
			
			
			2017-06-14 11:29:31 +02:00 
		 
	
		
			
			
			
			
			
			2017-06-16 07:24:39 -05:00 
		 
	
		
	
		
			
			
			
			
			
			2017-07-04 23:29:23 +01:00 
		 
	
		
			
			
			
			
			
			2017-04-05 20:47:15 +02:00 
		 
	
		
	
		
	
		
	
		
			
			
			
			
			
			2017-06-13 21:51:33 +02:00 
		 
	
		
	
		
	
		
			
			
			
			
			
			2017-05-21 18:57:12 -03:00 
		 
	
		
	
		
			
			
			
			
			
			2017-02-27 13:39:11 +01:00 
		 
	
		
			
			
			
			
			
			2017-01-24 16:16:47 +00:00 
		 
	
		
	
		
			
			
			
			
			
			2017-05-29 12:21:17 +02:00 
		 
	
		
			
			
			
			
			
			2017-02-15 07:11:59 +01:00 
		 
	
		
	
		
	
		
	
		
			
			
			
			
			
			2017-06-17 10:46:48 +01:00 
		 
	
		
	
		
			
			
			
			
			
			2017-05-28 15:31:57 +01:00 
		 
	
		
	
		
	
		
	
		
	
		
			
			
			
			
			
			2017-06-16 10:42:45 -05:00 
		 
	
		
	
		
	
		
			
			
			
			
			
			2017-02-11 05:47:09 +01:00