|  | @@ -113,7 +113,7 @@ namespace Google.Protobuf.WellKnownTypes {
 | 
	
		
			
				|  |  |    /// 01:30 UTC on January 15, 2017.
 | 
	
		
			
				|  |  |    ///
 | 
	
		
			
				|  |  |    /// In JavaScript, one can convert a Date object to this format using the
 | 
	
		
			
				|  |  | -  /// standard [toISOString()](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Date/toISOString]
 | 
	
		
			
				|  |  | +  /// standard [toISOString()](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Date/toISOString)
 | 
	
		
			
				|  |  |    /// method. In Python, a standard `datetime.datetime` object can be converted
 | 
	
		
			
				|  |  |    /// to this format using [`strftime`](https://docs.python.org/2/library/time.html#time.strftime)
 | 
	
		
			
				|  |  |    /// with the time format spec '%Y-%m-%dT%H:%M:%S.%fZ'. Likewise, in Java, one
 |