Re: [HEADS-UP] poppler soname bump