tree 272e4e0530d47949d50a81bb76e16fa9c6612eab
parent da85f8ab81fb753d8cdd046558860721d8116565
author Dmitri Shuralyov <dmitri@shuralyov.com> 1697126845 -0400
committer Dmitri Shuralyov <dmitri@shuralyov.com> 1697126845 -0400

suggest adding .txt file extension for attaching to GitHub issue