Skip to content

Fixes documentation URL for HTML5 push notifications#3993

Merged
bramkragten merged 1 commit into
devfrom
frenck-2019-0243
Oct 13, 2019
Merged

Fixes documentation URL for HTML5 push notifications#3993
bramkragten merged 1 commit into
devfrom
frenck-2019-0243

Conversation

@frenck
Copy link
Copy Markdown
Member

@frenck frenck commented Oct 12, 2019

Fixed a documentation URL in the frontend for the HTML5 push notifications.
Wrongly replaced that URL in #3857, thanks @SeanPM5 for finding this 👀

Copy link
Copy Markdown
Member

@bramkragten bramkragten left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks you! 🦁

@bramkragten bramkragten merged commit f9b0a0f into dev Oct 13, 2019
@delete-merged-branch delete-merged-branch Bot deleted the frenck-2019-0243 branch October 13, 2019 11:34
@github-actions github-actions Bot locked and limited conversation to collaborators Jul 6, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants