| ▲ | eichin 3 hours ago | |
Ah, not related to Hans Boehm of the Boehm GC though (the Barry Boehm page even has a "not to be confused with" header.) | ||
| ▲ | classichasclass 42 minutes ago | parent [-] | |
I thought of that too. Seems like the right last name to have. | ||