K 10
svn:author
V 6
arrowd
K 8
svn:date
V 27
2020-05-26T20:18:41.845175Z
K 7
svn:log
V 103
lang/ghc: Add patch for timer machinery.

PR:		241849
Submitted by:	Kevin Zheng <kevinz5000@gmail.com>

END