[PRQ#41371] Merge Request for scorep-plugin-blade
9 May
2023
9 May
'23
10:21 p.m.
pychuang [1] filed a request to merge scorep-plugin-blade [2] into cubegui-plugin-blade [3]: I put the wrong name for this package. I already created a new package with the correct name, so now this package can be merged into the new one. [1] https://aur.archlinux.org/account/pychuang/ [2] https://aur.archlinux.org/pkgbase/scorep-plugin-blade/ [3] https://aur.archlinux.org/pkgbase/cubegui-plugin-blade/
13 May
13 May
8:06 p.m.
New subject: [PRQ#41371] Merge Request for scorep-plugin-blade Accepted
Request #41371 has been Accepted by Antiz [1]: [Autogenerated] Accepted merge for scorep-plugin-blade into cubegui- plugin-blade. [1] https://aur.archlinux.org/account/Antiz/
593
Age (days ago)
597
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify@aur.archlinux.org