Juergen Spitzmueller b573a9bd55 Once more, the libertine font package has been renamed.
Take the newest one, if present.

Candidate for 2.3.x.

(cherry picked from commit 7e071f14b9394d1e8e974ba5d19c61921c203f5b)
2018-01-30 19:29:10 +01:00
..
2011-04-02 11:00:19 +00:00
2018-01-01 12:30:34 +01:00
2011-02-21 19:56:43 +00:00
2018-01-05 11:10:52 +01:00
2017-06-07 00:55:23 +02:00