(it seems the other bugs were not incorrectly updated by the new release, since they were already fixed earlier)
(it seems the other bugs were not incorrectly updated by the new release, since they were already fixed earlier)