Adds one more bug fixed to the list
commit1a12e3ba08064be8838024eb5a5d769088aa42f8
authorJaime E. Villate <villate@fe.up.pt>
Tue, 27 Apr 2021 19:40:19 +0000 (27 20:40 +0100)
committerJaime E. Villate <villate@fe.up.pt>
Tue, 27 Apr 2021 19:40:19 +0000 (27 20:40 +0100)
treec0278dffd92cbf0e7b4af1613f93adbda861647f
parent947a089fe637130887137987abfe5aa58d37dcdc
Adds one more bug fixed to the list
ChangeLog