Bug#1125241: closed by Debian FTP Masters (reply to bap@debian.org (Barak A. Pearlmutter)) (Bug#1125241: fixed in oaklisp 1.3.8-2)

[Barak A. Pearlmutter]

Oops! Thanks, that "closes:" was muscle memory...