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.

Sign up for GitHub

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

Minor Logger info change #213

Merged
merged 1 commit into from
Nov 4, 2020
Merged

Minor Logger info change #213

merged 1 commit into from
Nov 4, 2020

Conversation

MerlinLim
Copy link

Fixes #174

  • Change person to contact

@MerlinLim MerlinLim added this to the mid-v1.4 milestone Nov 4, 2020
@MerlinLim MerlinLim self-assigned this Nov 4, 2020
@MerlinLim MerlinLim added this to PRs Pending Approvals in Productiv via automation Nov 4, 2020
shadowezz
shadowezz approved these changes Nov 4, 2020
View reviewed changes
Copy link

@shadowezz shadowezz left a comment

Choose a reason for hiding this comment

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

LGTM

Productiv automation moved this from PRs Pending Approvals to PRs approved / Ready for Testing Nov 4, 2020
@MerlinLim MerlinLim merged commit a4c57f7 into AY2021S1-CS2103T-F11-2:master Nov 4, 2020
Productiv automation moved this from PRs approved / Ready for Testing to Issues Done / PRs Merged (After Testing) Nov 4, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@shadowezz shadowezz shadowezz approved these changes

Assignees

@MerlinLim MerlinLim

Labels
None yet
Projects
Productiv
Issues Done / PRs Merged (After Testing)
Milestone
mid-v1.4
Development

Successfully merging this pull request may close these issues.

Update Logger
2 participants
@MerlinLim @shadowezz