problem_report: avoid double .txt file extension#590
Open
bdrung wants to merge 2 commits intocanonical:mainfrom
Open
problem_report: avoid double .txt file extension#590bdrung wants to merge 2 commits intocanonical:mainfrom
bdrung wants to merge 2 commits intocanonical:mainfrom
