tree f5d9ef0f2845b72c97a8265fc18e59b3383df09d
parent 7d526e75a7f45a2593e874d97c7fdfa0e45cc013
author Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1572464771 -0300
committer Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1572464771 -0300

File 'bugs' no longer tracked by git

The file 'bugs' reports bugs in several different versions
(corresponding to different branches in the repository), without
a clear division of "this bugs belongs to this version". So, it
doesn't make sense to track it along with one (or many) versions.