Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: NixOS/nixpkgs
base: 3eb9c9f84a27
Choose a base ref
...
head repository: NixOS/nixpkgs
compare: e44bc8d4a508
Choose a head ref
  • 3 commits
  • 1 file changed
  • 2 contributors

Commits on May 15, 2019

  1. libertinus: 6.6 -> 6.8 

    Notes:

https://github.com/libertinus-fonts/libertinus/releases/tag/v6.8
https://github.com/libertinus-fonts/libertinus/releases/tag/v6.7

* update repo "owner", moved
* don't try to build since we don't mean to :)
* update for font cleanup PR (thanks!)
    @dtzWill
    dtzWill committed May 15, 2019
    Copy the full SHA
    1ec1bdd View commit details
    Browse the repository at this point in the history

Commits on May 16, 2019

  1. libertinus: update github owner, libertinus-fonts is now a redirect

    @dtzWill
    dtzWill committed May 16, 2019
    Copy the full SHA
    8f277d1 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #61556 from dtzWill/update/libertinus-6.8 

    libertinus: 6.6 -> 6.8
    @c0bw3b
    c0bw3b committed May 16, 2019
    Copy the full SHA
    e44bc8d View commit details
    Browse the repository at this point in the history