wok diff mariadb-dev/receipt @ rev 23710
updated ubuntu-font-family (0.80 -> 0.83)
author | Hans-G?nter Theisgen |
---|---|
date | Tue Apr 28 17:22:54 2020 +0100 (2020-04-28) |
parents | 2b545d56eedc |
children | b56b38cfd475 |
author | Hans-G?nter Theisgen |
---|---|
date | Tue Apr 28 17:22:54 2020 +0100 (2020-04-28) |
parents | 2b545d56eedc |
children | b56b38cfd475 |