3 ms·

Do you recall who was that other dev?

• throwaway81523 6y ago
  Yes, but I don't know what he's doing now and I wouldn't want to put his name here unless he said it was ok.
  • enriquto 6y ago
    fair. Let's hope this part of history is written some day.