[crux-commits] ports/core (3.7): readline: update to 8.1.2