Dmitriy Dumanskiy 67b23ab056 Remove HttpHeaderDateFormat class (#8807) ... Motivation: HttpHeaderDateFormat was replaced with DateFormatter many days ago and now can be easily removed. Modification: Remove deprecated class and related test / benchmark Result: Less code to maintain		2019-01-31 07:22:20 +01:00
..
main	Remove HttpHeaderDateFormat class (#8807)	2019-01-31 07:22:20 +01:00