flush Mason cache when installing docs, related to #25944
authorMark Wells <mark@freeside.biz>
Wed, 1 Jul 2015 06:09:16 +0000 (02:09 -0400)
committerMark Wells <mark@freeside.biz>
Wed, 1 Jul 2015 06:09:32 +0000 (02:09 -0400)

No differences found