Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

update docbuilder to latest ghc (8.6.1) #766

Closed
gbaz opened this issue Jun 25, 2018 · 2 comments
Closed

update docbuilder to latest ghc (8.6.1) #766

gbaz opened this issue Jun 25, 2018 · 2 comments
Assignees
@gbaz
Labels
component: doc builder ops

Comments

@gbaz
Copy link
Contributor

gbaz commented Jun 25, 2018

Getting to be that time...
@gbaz gbaz self-assigned this Jun 25, 2018
@gbaz gbaz changed the title update docbuilder to latest ghc (8.4.3) update docbuilder to latest ghc (8.6.1) Sep 25, 2018
@gbaz
Copy link
Contributor Author

gbaz commented Sep 25, 2018

We actually did update to 8.4.3 but forgot to close. But now its time to update to 8.6.1

@gbaz
Copy link
Contributor Author

gbaz commented Nov 26, 2018

And now we did update to 8.6.2. And I finally remembered, about a month later, to close this!

@gbaz gbaz closed this as completed Nov 26, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@gbaz gbaz

Labels
component: doc builder ops
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@gbaz