RelNoteson commit Merge branch 'jc/doc-push-satellite' into maint (f07f413)
   1Documentation/RelNotes/1.8.0.2.txt