repquota entries after deleting a user

[Marcus Schopen <lists@localguru.de>]

Hi,

after deleting a user its uid is still shown as #uid (here #6004) when 
executing "repquota -avug". Is that ok or do I have to remove the quota 
entry before deleting a user using deluser?

                        Block limits                File limits
User            used    soft    hard  grace    used  soft  hard  grace
----------------------------------------------------------------------
root      --   21200       0       0            705     0     0
games     --       0       0  102400              0     0     0
#6004     --       0       0  102400              0     0     0

Thanks
Marcus