No matches were found for subject:"\[OpenOCD\-devel\] \[PATCH\]\: f580a05 manual\: remove the lists of config files"