]> www.ginac.de Git - ginac.git/search
the unsigned number 128 was stored incorrectly (0x80 instead of 0x80 0x01)