PR: Catch possible errors when writing Help's history to disk#7246

Merged

ccordoba12 merged 1 commit intospyder-ide:3.xfrom ccordoba12:fix-help-history

Jun 3, 2018

+6-3

Commits on Jun 3, 2018

Help: Catch possible errors when writing its history to disk
ccordoba12
committed