Project

General

Profile

Actions
Copy link

Bug #421

closed

Fix minor issues with attributes and documentation

Added by Gianluca Corsini 6 months ago. Updated 6 months ago.

Status:
Closed
Priority:
Normal
Assignee:
Anthony Mallet

Description

Hi Anthony,

could you review these 3 commits (`148fe305`, `0e955c02`, `e01b8f74`) and, if you agree with them, merge them into the master, please?

You can find them at https://redmine.laas.fr/projects/phynt/repository and they are dated today (Aug. 22nd 2024).

Thanks,
Gianluca

Actions
Copy link
 #1

Updated by Anthony Mallet 6 months ago

Could you add me as a member of the redmine project?

Actions
Copy link
 #2

Updated by Gianluca Corsini 6 months ago

wops...forgot to tick the box `inherit members` :S

Anyway, now, it should be ok :)

Actions
Copy link
 #3

Updated by Anthony Mallet 6 months ago

  • Status changed from New to Closed

Merged, thanks!

Actions
Copy link

Also available in: Atom PDF