[PR #4] [MERGED] Remove unnecessary semicolon #3

New issue

Closed

opened 2026-02-25 20:31:52 +03:00 by kerem · 0 comments

kerem commented

2026-02-25 20:31:52 +03:00

Owner

📋 Pull Request Information

Original PR: https://github.com/anonaddy/anonaddy/pull/4
Author: @ludo237
Created: 11/1/2019
Status: ✅ Merged
Merged: 11/1/2019
Merged by: @anonaddy

Base: master ← Head: patch-1

📝 Commits (1)

04e9df7 Remove unnecessary semicolon

📊 Changes

1 file changed (+0 additions, -1 deletions)

View changed files

📝 app/User.php (+0 -1)

📄 Description

No description provided

_{🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.}

## 📋 Pull Request Information **Original PR:** https://github.com/anonaddy/anonaddy/pull/4 **Author:** [@ludo237](https://github.com/ludo237) **Created:** 11/1/2019 **Status:** ✅ Merged **Merged:** 11/1/2019 **Merged by:** [@anonaddy](https://github.com/anonaddy) **Base:** `master` ← **Head:** `patch-1` --- ### 📝 Commits (1) - [`04e9df7`](https://github.com/anonaddy/anonaddy/commit/04e9df764ea7d67ea73aa2d90b7f2c1e55270700) Remove unnecessary semicolon ### 📊 Changes **1 file changed** (+0 additions, -1 deletions) <details> <summary>View changed files</summary> 📝 `app/User.php` (+0 -1) </details> ### 📄 Description _No description provided_ --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>